Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub. Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. ACM Trans. Inf. Syst. Secur., 26(3), August 2023. [doi]
Abstract is missing.