Author:
Almeida Jose Bacelar,Barbosa Manuel,Barthe Gilles,Gregoire Benjamin,Koutsos Adrien,Laporte Vincent,Oliveira Tiago,Strub Pierre-Yves
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
2. 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
3. Polynomial hashing over prime order fields;Advances in Mathematics of Communications;2024
4. Formal Verification of Emulated Floating-Point Arithmetic in Falcon;Lecture Notes in Computer Science;2024
5. Formally Verifying Kyber;Lecture Notes in Computer Science;2024