共 50 条
- [1] Computational Indistinguishability Logic PROCEEDINGS OF THE 17TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'10), 2010, : 375 - 386
- [3] On Computational Indistinguishability and Logical Relations PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, 2025, 15194 : 241 - 263
- [5] Automated Proofs for Computational Indistinguishability COMPUTER JOURNAL, 2014, 57 (10): : 1513 - 1536
- [6] Computational indistinguishability: A sample hierarchy THIRTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY - PROCEEDINGS, 1998, : 24 - 33
- [8] The Computational SLR: A Logic for Reasoning about Computational Indistinguishability TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 401 - 415
- [9] Termination-Insensitive Computational Indistinguishability (and applications to computational soundness) 2011 IEEE 24TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2011, : 251 - 265
- [10] A Tight Computational Indistinguishability Bound for Product Distributions THEORY OF CRYPTOGRAPHY, TCC 2022, PT II, 2022, 13748 : 333 - 347