Nadim Kobeissi

20 papers A* 2A 2Misc 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Verification Theater: When Formal Methods Create False Assurance in Cryptographic Libraries.
IACR Cryptol. ePrint Arch.
Nadim Kobeissi
2023 J jnl
DuckyZip: Provably Honest Global Linking Service.
IACR Cryptol. ePrint Arch.
Nadim Kobeissi
2020 — conf
Verifpal: Cryptographic Protocol Analysis for the Real World.
CCSW
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari
2020 Misc conf
Verifpal: Cryptographic Protocol Analysis for the Real World.
INDOCRYPT
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari
2019 A* conf
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats.
USENIX Security Symposium
Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
2019 A conf
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols.
EuroS&P
Nadim Kobeissi, Georgio Nicolas, Karthikeyan Bhargavan
2019 J jnl
Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque.
IEEE Secur. Priv.
Nadim Kobeissi
2019 J jnl
Verifpal: Cryptographic Protocol Analysis for Students and Engineers.
IACR Cryptol. ePrint Arch.
Nadim Kobeissi
2018 J jnl
An Analysis of the ProtonMail Cryptographic Architecture.
IACR Cryptol. ePrint Arch.
Nadim Kobeissi
2018 J jnl
Capsule: A Protocol for Secure Collaborative Document Editing.
IACR Cryptol. ePrint Arch.
Nadim Kobeissi
2018 — —
Formal Verification for Real-World Cryptographic Protocols and Implementations. (Vérification formelle des protocoles et des implementations cryptographiques).
Nadim Kobeissi
2018 J jnl
Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers.
IACR Cryptol. ePrint Arch.
Nadim Kobeissi, Natalia Kulatova
2018 — conf
Ledger design language: designing and deploying formally verified public ledgers.
EuroS&P Workshops
Nadim Kobeissi, Natalia Kulatova
2018 J jnl
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols.
IACR Cryptol. ePrint Arch.
Nadim Kobeissi, Karthikeyan Bhargavan
2017 A conf
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach.
EuroS&P
Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet
2017 — conf
Formal Modeling and Verification for Domain Validation and ACME.
Financial Cryptography
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi
2017 A* conf
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate.
IEEE Symposium on Security and Privacy
Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi
2016 — conf
Formal Verification of Smart Contracts: Short Paper.
PLAS@CCS
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Béguelin
2015 — conf
FLEXTLS: A Tool for Testing TLS Implementations.
WOOT
Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan
2013 J jnl
Cryptocat: Adopting Accessibility and Ease of Use as Security Properties.
CoRR
Nadim Kobeissi, Arlo Breault