François Dupressoir
François Dupressoir
Affiliation: University of Bristol
Pages in this Program
Ladders are Better than Trampolines: Key Exchange Security in EasyCrypt’s Probabilistic Relational Hoare Logic
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑