Nadim Kobeissi

According to our database, Nadim Kobeissi authored at least 18 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

DuckyZip: Provably Honest Global Linking Service.

Nadim Kobeissi

IACR Cryptol. ePrint Arch., 2023

2020

Verifpal: Cryptographic Protocol Analysis for the Real World.

Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari

Proceedings of the CCSW'20, 2020

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 Students and Engineers.

Nadim Kobeissi

IACR Cryptol. ePrint Arch., 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

Proceedings of the 28th USENIX Security Symposium, 2019

Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols.

Nadim Kobeissi, Georgio Nicolas, Karthikeyan Bhargavan

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

2018

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

Nadim Kobeissi

PhD thesis, 2018

Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers.

Nadim Kobeissi, Natalia Kulatova

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

An Analysis of the ProtonMail Cryptographic Architecture.

Nadim Kobeissi

IACR Cryptol. ePrint Arch., 2018

Capsule: A Protocol for Secure Collaborative Document Editing.

Nadim Kobeissi

IACR Cryptol. ePrint Arch., 2018

Ledger design language: designing and deploying formally verified public ledgers.

Nadim Kobeissi, Natalia Kulatova

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

2017

Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate.

Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

Formal Modeling and Verification for Domain Validation and ACME.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi

Proceedings of the Financial Cryptography and Data Security, 2017

Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach.

Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

2016

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

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

FLEXTLS: A Tool for Testing TLS Implementations.

Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan

Proceedings of the 9th USENIX Workshop on Offensive Technologies, 2015

2013

Cryptocat: Adopting Accessibility and Ease of Use as Security Properties.

Nadim Kobeissi, Arlo Breault

CoRR, 2013