Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
October 2021
PDF Slides
Type
Conference paper
Publication
2021 ACM SIGSAC Conference on Computer and Communications Security, CCS'21