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

Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly., , and . APLAS, volume 13008 of Lecture Notes in Computer Science, page 83-101. Springer, (2021)An Extended Account of Trace-relating Compiler Correctness and Secure Compilation., , , , , , , , and . ACM Trans. Program. Lang. Syst., 43 (4): 14:1-14:48 (2021)Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation., , , , , and . CSF, page 256-271. IEEE, (2019)The Fox and the Hound: Comparing Fully Abstract and Robust Compilation., and . CoRR, (2020)Trace-Relating Compiler Correctness and Secure Compilation., , , , , , , , and . ESOP, volume 12075 of Lecture Notes in Computer Science, page 1-28. Springer, (2020)SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq., , , , , , , , and . ACM Trans. Program. Lang. Syst., 45 (3): 15:1-15:61 (September 2023)A formal framework for correct and secure compilation.. Ruhr University Bochum, Germany, (2023)SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq., , , , , , , and . CSF, page 1-15. IEEE, (2021)Trace-Relating Compiler Correctness and Secure Compilation., , , , , , , and . CoRR, (2019)