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
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
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols
N Kobeissi, G Nicolas, K Bhargavan
Real World Cryptography Symposium, 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
Verifpal: Cryptographic protocol analysis for the real world
N Kobeissi, G Nicolas, M Tiwari
Progress in Cryptology–INDOCRYPT 2020: 21st International Conference on …, 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
Formal verification for real-world cryptographic protocols and implementations
N Kobeissi
Université Paris sciences et lettres, 2018
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
L’algorithme et l’ordre public
P Baumard, N Kobeissi
Archives de philosophie du droit 58 (1), 297-316, 2015
The system can't perform the operation now. Try again later.
Articles 1–12