Sabine Oechsner
Sabine Oechsner
Affiliation: Vrije Universiteit Amsterdam
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:
🔍 ↑