1
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
AUTHORS: José Bacelar Almeida; Manuel Barbosa; Manuel L Correia; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco; Vitor Pereira;
TYPE: Unpublished, PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: DBLP