Cited By
View all- Baelde DFontaine CKoutsos AScerri GVignon T(2024)A Probabilistic Logic for Concrete Security2024 IEEE 37th Computer Security Foundations Symposium (CSF)10.1109/CSF61375.2024.00046(324-339)Online publication date: 8-Jul-2024
- Xu YLi ZDong NKuchta VHou ZLiu D(2024)Formal Verification Techniques for Post-quantum Cryptography: A Systematic ReviewEngineering of Complex Computer Systems10.1007/978-3-031-66456-4_19(346-366)Online publication date: 29-Sep-2024
- Linvill KKaki GWustrow E(2023)Verifying Indistinguishability of Privacy-Preserving ProtocolsProceedings of the ACM on Programming Languages10.1145/36228497:OOPSLA2(1442-1469)Online publication date: 16-Oct-2023
- Show More Cited By