Author:
Erbsen Andres,Philipoom Jade,Gross Jason,Sloan Robert,Chlipala Adam
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq;Journal of Automated Reasoning;2024-08-14
2. Foundational Integration Verification of a Cryptographic Server;Proceedings of the ACM on Programming Languages;2024-06-20
3. A Verified Compiler for a Functional Tensor Language;Proceedings of the ACM on Programming Languages;2024-06-20
4. Certifying Zero-Knowledge Circuits with Refinement Types;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
5. 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