HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Cécile Baritel-Ruet

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

Keyphrases

block cipher mode, collision probability, EasyCrypt, formal proof, MAC, Security, security proof.

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