Nadim Kobeissi

According to our database, Nadim Kobeissi authored at least 10 papers between 2015 and 2020.

Collaborative distances:

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

2020

Verifpal: Cryptographic Protocol Analysis for the Real World.

Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari

Proceedings of the CCSW'20, 2020

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: 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