↓ Skip to main content

Principles of Security and Trust

Overview of attention for book
Attention for Chapter 11: Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
24 Mendeley