EasyPQC: Verifying Post-Quantum Cryptography

Document Details

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

Entities

People

  • Benjamin Grégoire
  • Gilles Barthe
  • Jonathan Katz
  • Li Zhou
  • Manuel Barbosa
  • Pierre-yves Strub
  • Shih-Han Hung
  • Xiaodi Wu
  • Xiong Fan

Organizations

  • Air Force Office of Scientific Research
  • Institut National de Recherche en Informatique et en Automatique
  • Instituto Madrileño de Estudios Avanzados
  • National Science Foundation
  • University of Maryland
  • University of Porto
  • University of Texas at Austin
  • École polytechnique

Tags

Technology Areas

  • Cyber
  • Cyber - Cryptography
  • Cyber - Quantum
  • Quantum Computing
  • Quantum Science - Quantum Key Distribution