Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head-Reference-Cited by-同舟云学术

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

Published:2021-11-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

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

Affiliation:

1. University of Minho & INESC TEC, Braga, Portugal

2. University of Porto (FCUP) & INESC TEC, Porto, Portugal

3. SRI International, Menlo Park, CA, USA

Funder

FCT

DARPA

Publisher

ACM

Link

Reference29 articles.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Zero-Knowledge in EasyCrypt;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

4. A verified algebraic representation of cairo program execution;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11

5. Formal security analysis of MPC-in-the-head zero-knowledge protocols;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06