Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 12, 2021
Source ID
10.1145/3460120.3484548

Entities

People

  • Adrien Koutsos
  • Benjamin Grégoire
  • Gilles Barthe
  • Manuel Barbosa
  • Pierre-yves Strub

Organizations

  • Agence Nationale de la Recherche
  • Fundação para a Ciência e Tecnologia
  • Institut National de Recherche en Informatique et en Automatique
  • Instituto Madrileño de Estudios Avanzados
  • Office of Naval Research
  • Polytechnic Institute of Paris
  • University of Côte d'Azur
  • University of Porto