DuckyZip: Provably Honest Global Linking Service.
IACR Cryptol. ePrint Arch., 2023
Verifpal: Cryptographic Protocol Analysis for the Real World.
Proceedings of the CCSW'20, 2020
Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque.
IEEE Secur. Priv., 2019
Verifpal: Cryptographic Protocol Analysis for Students and Engineers.
IACR Cryptol. ePrint Arch., 2019
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats.
Proceedings of the 28th USENIX Security Symposium, 2019
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols.
Proceedings of the IEEE European Symposium on Security and Privacy, 2019
Formal Verification for Real-World Cryptographic Protocols and Implementations. (Vérification formelle des protocoles et des implementations cryptographiques).
PhD thesis, 2018
Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers.
IACR Cryptol. ePrint Arch., 2018
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols.
IACR Cryptol. ePrint Arch., 2018
An Analysis of the ProtonMail Cryptographic Architecture.
IACR Cryptol. ePrint Arch., 2018
Capsule: A Protocol for Secure Collaborative Document Editing.
IACR Cryptol. ePrint Arch., 2018
Ledger design language: designing and deploying formally verified public ledgers.
Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate.
Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017
Formal Modeling and Verification for Domain Validation and ACME.
Proceedings of the Financial Cryptography and Data Security, 2017
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach.
Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017
Formal Verification of Smart Contracts: Short Paper.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016
FLEXTLS: A Tool for Testing TLS Implementations.
Proceedings of the 9th USENIX Workshop on Offensive Technologies, 2015
Cryptocat: Adopting Accessibility and Ease of Use as Security Properties.
CoRR, 2013