Nadim Kobeissi
Nadim Kobeissi
Symbolic Software
Verified email at symbolic.software - Homepage
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
5332016
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
1372017
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
1092017
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
322015
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols
N Kobeissi, G Nicolas, K Bhargavan
Real World Cryptography Symposium, 2018
24*2018
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
202019
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
112017
Verifpal: cryptographic protocol analysis for the real world
N Kobeissi, G Nicolas, M Tiwari
International Conference on Cryptology in India, 151-202, 2020
9*2020
Formal verification for real-world cryptographic protocols and implementations
N Kobeissi
Université Paris sciences et lettres, 2018
42018
An Analysis of the ProtonMail Cryptographic Architecture
N Kobeissi
IACR Cryptology ePrint Archive 2018, 1121, 2018
22018
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
12018
Jevil's Encryption Systems
N Kobeissi
Cryptology ePrint Archive, 2018
2018
L’algorithme et l’ordre public
P Baumard, N Kobeissi
Archives de philosophie du droit, pp. 269-288, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–13