Cryptocat: Adopting Accessibility and Ease of Use as Security Properties. - Nadim Kobeissi; Arlo Breault (CoRR, 2013)

FLEXTLS: A Tool for Testing TLS Implementations. - Benjamin Beurdouche; Antoine Delignat-Lavaud; Nadim Kobeissi; Alfredo Pironti 001; Karthikeyan Bhargavan (WOOT, 2015)

Formal Verification of Smart Contracts: Short Paper. - 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 (PLAS@CCS, 2016)

Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach. - Nadim Kobeissi; Karthikeyan Bhargavan; Bruno Blanchet (EuroS&P, 2017)

Formal Modeling and Verification for Domain Validation and ACME. - Karthikeyan Bhargavan; Antoine Delignat-Lavaud; Nadim Kobeissi (Financial Cryptography, 2017)

Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate. - Karthikeyan Bhargavan; Bruno Blanchet; Nadim Kobeissi (IEEE Symposium on Security and Privacy, 2017)

Ledger design language: designing and deploying formally verified public ledgers. - Nadim Kobeissi; Natalia Kulatova (EuroS&P Workshops, 2018)

Capsule: A Protocol for Secure Collaborative Document Editing. - Nadim Kobeissi (IACR Cryptol. ePrint Arch., 2018)

An Analysis of the ProtonMail Cryptographic Architecture. - Nadim Kobeissi (IACR Cryptol. ePrint Arch., 2018)

Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. - Nadim Kobeissi; Karthikeyan Bhargavan (IACR Cryptol. ePrint Arch., 2018)

Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers. - Nadim Kobeissi; Natalia Kulatova (IACR Cryptol. ePrint Arch., 2018)

Formal Verification for Real-World Cryptographic Protocols and Implementations. (Vérification formelle des protocoles et des implementations cryptographiques). - Nadim Kobeissi (2018)

Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. - Nadim Kobeissi; Georgio Nicolas; Karthikeyan Bhargavan (EuroS&P, 2019)

EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. - Tahina Ramananandro; Antoine Delignat-Lavaud; Cédric Fournet; Nikhil Swamy; Tej Chajed; Nadim Kobeissi; Jonathan Protzenko (USENIX Security Symposium, 2019)

Verifpal: Cryptographic Protocol Analysis for Students and Engineers. - Nadim Kobeissi (IACR Cryptol. ePrint Arch., 2019)

Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque. - Nadim Kobeissi (IEEE Secur. Priv., 2019)

Verifpal: Cryptographic Protocol Analysis for the Real World. - Nadim Kobeissi; Georgio Nicolas; Mukesh Tiwari (CCSW, 2020)

DuckyZip: Provably Honest Global Linking Service. - Nadim Kobeissi (IACR Cryptol. ePrint Arch., 2023)