2012-081

Topic Replies Views Activity
[Resource Topic] 2012/081: Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification
Foundations
2012-081
0 74 July 30, 2022