Mechanized Proofs of Adversarial Complexity and Application to Universal Composability | Publicación