Machine-Checked Proofs for Cryptographic Standards

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 06, 2019
Source ID
10.1145/3319535.3363211

Entities

People

  • Alley Stoughton
  • Benjamin Grégoire
  • Cécile Baritel-ruet
  • François Dupressoir
  • Gilles Barthe
  • José Bacelar Almeida
  • Manuel Barbosa
  • Pierre-yves Strub
  • Tiago Oliveira
  • Vincent Laporte

Organizations

  • Boston University
  • Fundação para a Ciência e Tecnologia
  • Institut National de Recherche en Informatique et en Automatique
  • Instituto Madrileño de Estudios Avanzados
  • National Institute of Standards and Technology
  • National Science Foundation
  • Office of Naval Research
  • University of Côte d'Azur
  • University of Minho
  • University of Porto
  • University of Surrey
  • Wakālah al-Waṭanīyah li-Tanmiyat al-Baḥth al-Jāmiʻī
  • École polytechnique