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
3152016
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
742017
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
672017
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
252015
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols
N Kobeissi, G Nicolas, K Bhargavan
Real World Cryptography Symposium, 2018
11*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
92017
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
32019
Formal Verification for Real-World Cryptographic Protocols and Implementations
N Kobeissi
22018
Capsule: A protocol for secure collaborative document editing
N Kobeissi
22018
An Analysis of the ProtonMail Cryptographic Architecture
N Kobeissi
IACR Cryptology ePrint Archive 2018, 1121, 2018
12018
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
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