Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.

Manuel Barbosa, Gilles Barthe, Benjamin Grgoire, Adrien Koutsos, Pierre-Yves Strub

Browse the full CCS paper archive.