Nadim Kobeissi
Nadim Kobeissi
Symbolic Software
Verified email at symbolic.software - Homepage
TitleCited byYear
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
2672016
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
652017
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
592017
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
242015
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols
N Kobeissi, G Nicolas, K Bhargavan
Real World Cryptography Symposium, 2018
10*2018
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
72017
Formal Verification for Real-World Cryptographic Protocols and Implementations
N Kobeissi
22018
Capsule: A Protocol for Secure Collaborative Document Editing
N Kobeissi
22018
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
12019
Selfie's Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque
N Kobeissi
IEEE Security & Privacy 17 (4), 94-96, 2019
2019
An Analysis of the ProtonMail Cryptographic Architecture
N Kobeissi
IACR Cryptology ePrint Archive 2018, 1121, 2018
2018
Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers
N Kobeissi, N Kulatova
2018
Verifpal: Cryptographic Protocol Analysis for Students and Engineers
N Kobeissi
The system can't perform the operation now. Try again later.
Articles 1–13