Author:
Lochbihler Andreas,Sefidgar S. Reza,Basin David,Maurer Ueli
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Categorical composable cryptography: extended version;Logical Methods in Computer Science;2023-12-18
3. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq;ACM Transactions on Programming Languages and Systems;2023-07-20
4. Combining Higher-Order Logic with Set Theory Formalizations;Journal of Automated Reasoning;2023-05-25
5. A Core Calculus for Equational Proofs of Cryptographic Protocols;Proceedings of the ACM on Programming Languages;2023-01-09