Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head

Document Details

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

Entities

People

  • Hugo Pacheco
  • José Bacelar Almeida
  • Karim Eldefrawy
  • Manuel Barbosa
  • Manuel L. Correia
  • Stéphane Graham-Lengrand
  • Vitor Pereira

Organizations

  • Defense Advanced Research Projects Agency
  • Fundação para a Ciência e Tecnologia
  • SRI International
  • University of Minho
  • University of Porto