José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco 0001, Vitor Pereira. Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. IACR Cryptology ePrint Archive, 2021:1149, 2021. [doi]
@article{AlmeidaBCEGPP21,
title = {Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head},
author = {José Bacelar Almeida and Manuel Barbosa and Manuel L. Correia and Karim Eldefrawy and Stéphane Graham-Lengrand and Hugo Pacheco 0001 and Vitor Pereira},
year = {2021},
url = {https://eprint.iacr.org/2021/1149},
researchr = {https://researchr.org/publication/AlmeidaBCEGPP21},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2021},
pages = {1149},
}