Guillaume Scerri
Guillaume Scerri
Affiliation: Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles
Pages in this Program
Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑