Nadim Kobeissi

Cited by

	All	Since 2018
Citations	1268	1182
h-index	8	8
i10-index	8	8

260

130

195

2016201720182019202020212022202312 61 171 224 248 235 224 80

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Karthikeyan BhargavanINRIAVerified email at inria.fr
Antoine Delignat-LavaudMicrosoft ResearchVerified email at microsoft.com
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
Anitha (Boyapati) GollamudiUniversity of Massachusetts LowellVerified email at uml.edu
Bruno BlanchetSenior researcher, INRIA ParisVerified email at inria.fr
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Mukesh TiwariComputer Laboratory, University of CambridgeVerified email at cam.ac.uk
Tej ChajedMIT CSAILVerified email at mit.edu
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Jonathan ProtzenkoMicrosoft ResearchVerified email at ens-lyon.org
Alfredo PirontiINRIA, FranceVerified email at inria.fr
Benjamin BeurdoucheMozilla (prev. INRIA and ENS Paris)Verified email at ens.fr
Philippe BaumardCnam - ParisVerified email at polytechnique.edu

Nadim Kobeissi

Symbolic Software

Verified email at symbolic.software - Homepage

Applied Cryptography Cryptographic Protocols Security Automated Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal Verification of Smart Contracts K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ... Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016	685	2016
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate K Bhargavan, B Blanchet, N Kobeissi Security and Privacy (SP), 2017 IEEE Symposium on, 483-502, 2017	222	2017
Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach N Kobeissi, K Bhargavan, B Blanchet 2nd IEEE European Symposium on Security and Privacy, 435-450, 2017	161	2017
Everparse: Verified secure zero-copy parsers for authenticated message formats T Ramananandro, A Delignat-Lavaud, C Fournet, N Swamy, T Chajed, ... 28th USENIX Security Symposium (USENIX Security 19), 1465-1482, 2019	55	2019
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols N Kobeissi, G Nicolas, K Bhargavan Real World Cryptography Symposium, 2018	45	2018
FLEXTLS: A Tool for Testing TLS Implementations B Beurdouche, A Delignat-Lavaud, N Kobeissi, A Pironti, K Bhargavan 9th USENIX Workshop on Offensive Technologies, WOOT'15, 2015	37	2015
Verifpal: Cryptographic protocol analysis for the real world N Kobeissi, G Nicolas, M Tiwari Progress in Cryptology–INDOCRYPT 2020: 21st International Conference on …, 2020	35*	2020
Formal Modeling and Verification for Domain Validation and ACME K Bhargavan, A Delignat-Lavaud, N Kobeissi International Conference on Financial Cryptography and Data Security, 561-578, 2017	13	2017
Formal verification for real-world cryptographic protocols and implementations N Kobeissi Université Paris sciences et lettres, 2018	7	2018
An Analysis of the ProtonMail Cryptographic Architecture N Kobeissi IACR Cryptology ePrint Archive 2018, 1121, 2018	6	2018
Ledger design language: designing and deploying formally verified public ledgers N Kobeissi, N Kulatova 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 1-5, 2018	2	2018
L’algorithme et l’ordre public P Baumard, N Kobeissi Archives de philosophie du droit 58 (1), 297-316, 2015		2015

The system can't perform the operation now. Try again later.

Articles 1–12

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors