Nadim Kobeissi
Nadim Kobeissi
Symbolic Software
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols
N Kobeissi, G Nicolas, K Bhargavan
Real World Cryptography Symposium, 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
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
Formal Verification for Real-World Cryptographic Protocols and Implementations
N Kobeissi
Capsule: A protocol for secure collaborative document editing
N Kobeissi
Verifpal: Cryptographic Protocol Verification for the Real World
N Kobeissi, G Nicolas, M Tiwari
IACR ePrint, 2020
An Analysis of the ProtonMail Cryptographic Architecture
N Kobeissi
IACR Cryptology ePrint Archive 2018, 1121, 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
Verif al: Cry togra hic Protocol Verification for the Real World
N Kobeissi, G Nicolas, M Tiwari
Selfie's Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque
N Kobeissi
IEEE Security & Privacy 17 (4), 94-96, 2019
The system can't perform the operation now. Try again later.
Articles 1–14