Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head Artigo de Conferência uri icon

autores

  • José Carlos Bacelar Almeida
  • Almeida, JB
  • Barbosa, M
  • Correia, ML
  • Eldefrawy, K
  • Lengrand, SG
  • Pacheco, H
  • Pereira, V

data de publicação

  • janeiro 1, 2021