Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge-Reference-Cited by-同舟云学术

Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge

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

Author:

Dittmer Samuel¹^ORCID,Eldefrawy Karim²^ORCID,Graham-Lengrand Stéphane²^ORCID,Lu Steve¹^ORCID,Ostrovsky Rafail³^ORCID,Pereira Vitor⁴^ORCID

Affiliation:

1. Stealth Software Technologies, Inc., Los Angeles, CA, USA

2. SRI International, Menlo Park, CA, USA

3. University of California, Los Angeles, Los Angeles, CA, USA

4. SRI International, Menlo Parke, CA, USA

Funder

Defense Advanced Research Projects Agency

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3576915.3616583

Reference27 articles.

1. Jose Bacelar Almeida Endre Bangerter Manuel Barbosa Stephan Krenn Ahmad-Reza Sadeghi and Thomas Schneider. 2010. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on ∑-Protocols. Cryptology ePrint Archive Paper 2010/339. https://eprint.iacr.org/2010/339 https://eprint.iacr.org/2010/339.

2. José Bacelar Almeida Manuel Barbosa Endre Bangerter Gilles Barthe Stephan Krenn and Santiago Zanella Béguelin. 2012. Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. Cryptology ePrint Archive Paper 2012/258. https://eprint.iacr.org/2012/258 https://eprint.iacr.org/2012/258.

3. José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, and Pierre-Yves Strub. 2019. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. CoRR abs/1904.04606 (2019). arXiv:1904.04606 http://arxiv.org/abs/1904.04606

4. José Bacelar Almeida Manuel Barbosa Manuel L Correia Karim Eldefrawy Stéphane Graham-Lengrand Hugo Pacheco and Vitor Pereira. 2021. Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. Cryptology ePrint Archive Paper 2021/1149. https://doi.org/10.1145/3460120.3484771 https://eprint.iacr.org/2021/1149.

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

1. Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15