Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Securely Compiling Verified F* Programs With IO., , , , und . CoRR, (2023)Beginner's luck: a language for property-based generators., , , , , und . POPL, Seite 114-129. ACM, (2017)Dynamic IFC Theorems for Free!, , und . CSF, Seite 1-14. IEEE, (2021)SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq., , , , , , , und . CSF, Seite 1-15. IEEE, (2021)Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier., , , , , , , , , und 3 andere Autor(en). CoRR, (2018)The Quest for Formally Secure Compartmentalizing Compilation.. (2019)SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq., , , , , , , , und . ACM Trans. Program. Lang. Syst., 45 (3): 15:1-15:61 (September 2023)Trace-Relating Compiler Correctness and Secure Compilation., , , , , , , , und . ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 1-28. Springer, (2020)SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation., , , , , und . CSF, Seite 64-79. IEEE, (2022)Beginner's Luck: A Language for Property-Based Generators., , , , , und . CoRR, (2016)