Author of the publication

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

, , , , , , , , and . ACM Trans. Program. Lang. Syst., 45 (3): 15:1-15:61 (September 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography., , , , , and . CPP, page 30-44. ACM, (2024)A general definition of dependent type theories., , and . CoRR, (2020)The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography., , , , , and . IACR Cryptol. ePrint Arch., (2023)SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq., , , , , , , and . CSF, page 1-15. IEEE, (2021)Equality Checking for General Type Theories in Andromeda 2., , and . ICMS, volume 12097 of Lecture Notes in Computer Science, page 253-259. Springer, (2020)Asynchronous Probabilistic Couplings in Higher-Order Separation Logic., , , , and . CoRR, (2023)Finitary type theories with and without contexts., and . CoRR, (2021)Asynchronous Probabilistic Couplings in Higher-Order Separation Logic., , , , and . Proc. ACM Program. Lang., 8 (POPL): 753-784 (January 2024)Finitary Type Theories With and Without Contexts., and . J. Autom. Reason., 67 (4): 36 (December 2023)SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq., , , , , , , , and . ACM Trans. Program. Lang. Syst., 45 (3): 15:1-15:61 (September 2023)