HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Benjamin Grégoire

Publications
Formal Security Proof of CMAC and its Variants
Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque and Benjamin Grégoire
EasyChair Preprint 104
Proving uniformity and independence by self-composition and coupling
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu and Pierre-Yves Strub
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

block cipher mode, collision probability, EasyCrypt, formal proof, independence, MAC, probabilistic programs, program verification, relational logic, Security, security proof, uniformity.

Copyright © 2012-2025 easychair.org. All rights reserved.