The following publications are possibly variants of this publication:
- Mechanized Proofs of Adversarial Complexity and Application to Universal ComposabilityManuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub. iacr, 2021:156, 2021. [doi]
- Mechanized Proofs of Adversarial Complexity and Application to Universal ComposabilityManuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub. ccs 2021: 2541-2563 [doi]