Author of the publication

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

Wys*: A DSL for Verified Secure Multi-party Computations., , and . POST, volume 11426 of Lecture Notes in Computer Science, page 99-122. Springer, (2019)SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs., , , , , and . CoRR, (2021)EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , and 6 other author(s). SP, page 983-1002. IEEE, (2020)Ranking LLM-Generated Loop Invariants for Program Verification., , , , , , , , and . EMNLP (Findings), page 9164-9175. Association for Computational Linguistics, (2023)A verified, efficient embedding of a verifiable assembly language., , , , , and . Proc. ACM Program. Lang., 3 (POPL): 63:1-63:30 (2019)Steel: proof-oriented programming in a dependently typed concurrent separation logic., , , , , , and . Proc. ACM Program. Lang., 5 (ICFP): 1-30 (2021)FastVer: Making Data Integrity a Commodity., , , , , , , , , and 3 other author(s). SIGMOD Conference, page 89-101. ACM, (2021)ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER., , , , and . CPP, page 275-289. ACM, (2023)Everest: Towards a Verified, Drop-in Replacement of HTTPS., , , , , , , , , and 12 other author(s). SNAPL, volume 71 of LIPIcs, page 1:1-1:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Dijkstra Monads for Free., , , , , , and . CoRR, (2016)