Nadim Kobeissi

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 16

Top Venues

IACR Cryptol. ePrint Arch.

EuroS&P

IEEE Symposium on Security and Privacy

CoRR

École Normale Supérieure, Paris, France (PHD)

Education History

École Normale Supérieure, Paris, France

PHD

Publications

Nadim Kobeissi
DuckyZip: Provably Honest Global Linking Service. IACR Cryptol. ePrint Arch. 2023 (2023)
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari
Verifpal: Cryptographic Protocol Analysis for the Real World. INDOCRYPT (2020)
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari
Verifpal: Cryptographic Protocol Analysis for the Real World. CCSW@CCS (2020)
Nadim Kobeissi, Georgio Nicolas, Karthikeyan Bhargavan
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. EuroS&P (2019)
Nadim Kobeissi
Verifpal: Cryptographic Protocol Analysis for Students and Engineers. IACR Cryptol. ePrint Arch. 2019 (2019)
Nadim Kobeissi
Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque. IEEE Secur. Priv. 17 (4) (2019)
Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. USENIX Security Symposium (2019)
Nadim Kobeissi, Natalia Kulatova
Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers. IACR Cryptol. ePrint Arch. 2018 (2018)
Nadim Kobeissi, Natalia Kulatova
Ledger design language: designing and deploying formally verified public ledgers. EuroS&P Workshops (2018)
Nadim Kobeissi, Karthikeyan Bhargavan
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. IACR Cryptol. ePrint Arch. 2018 (2018)
Nadim Kobeissi
Capsule: A Protocol for Secure Collaborative Document Editing. IACR Cryptol. ePrint Arch. 2018 (2018)
Nadim Kobeissi
An Analysis of the ProtonMail Cryptographic Architecture. IACR Cryptol. ePrint Arch. 2018 (2018)
Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate. IEEE Symposium on Security and Privacy (2017)
Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach. EuroS&P (2017)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi
Formal Modeling and Verification for Domain Validation and ACME. Financial Cryptography (2017)
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
Formal Verification of Smart Contracts: Short Paper. PLAS@CCS (2016)
Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan
FLEXTLS: A Tool for Testing TLS Implementations. WOOT (2015)
Nadim Kobeissi, Arlo Breault
Cryptocat: Adopting Accessibility and Ease of Use as Security Properties. CoRR (2013)

Nadim Kobeissi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nadim Kobeissi