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

Mezzo: a typed language for safe effectful concurrent programs. (Mezzo: un langage typé pour programmer de manière concurrent et sure en présence d'effets).. Paris Diderot University, France, (2014)The Design and Formalization of Mezzo, a Permission-Based Programming Language., , and . ACM Trans. Program. Lang. Syst., 38 (4): 14 (2016)Formally Verified Cryptographic Web Applications in WebAssembly., , , and . IEEE Symposium on Security and Privacy, page 1256-1274. IEEE, (2019)Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier., , , , , , , , , and 3 other author(s). CoRR, (2018)EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats., , , , , , and . USENIX Security Symposium, page 1465-1482. USENIX Association, (2019)Global Sequence Protocol: A Robust Abstraction for Replicated Shared State., , , and . ECOOP, volume 37 of LIPIcs, page 568-590. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Verified low-level programming embedded in F., , , , , , , , , and 1 other author(s). Proc. ACM Program. Lang., 1 (ICFP): 17:1-17:29 (2017)Implementing and Proving the TLS 1.3 Record Layer., , , , , , , , , and . IACR Cryptology ePrint Archive, (2016)EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , and 5 other author(s). IACR Cryptology ePrint Archive, (2019)Illustrating the Mezzo programming language.. FSFMA, volume 31 of OASIcs, page 68-73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)