共 50 条
- [31] A PCP Theorem for Interactive Proofs and Applications ADVANCES IN CRYPTOLOGY - EUROCRYPT 2022, PT II, 2022, 13276 : 64 - 94
- [32] Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
- [37] Succinct quantum proofs for properties of finite groups 41ST ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2000, : 537 - 546
- [39] Analysis of non locality proofs in Quantum Mechanics 7TH INTERNATIONAL CONFERENCE ON QUANTUM THEORY AND SYMMETRIES (QTS7), 2012, 343
- [40] Optimality proofs of quantum weight decision algorithms Quantum Information Processing, 2012, 11 : 123 - 136