SoK: Computer-Aided Cryptography

Document Details

Document Type
Pub Defense Publication
Publication Date
May 01, 2021
Source ID
10.1109/sp40001.2021.00008

Entities

People

  • Bruno Blanchet
  • Bryan Parno
  • Cas Cremers
  • Gilles Barthe
  • Karthik Bhargavan
  • Kevin Liao
  • Manuel Barbosa

Organizations

  • Carnegie Mellon University
  • European Research Council
  • Foundation for Science and Technology
  • Institut National de Recherche en Informatique et en Automatique
  • National Science Foundation
  • Office of Naval Research
  • University of Porto

Tags

Technology Areas

  • Cyber
  • Cyber - Cryptography