Antoine Delignat-Lavaud
Antoine Delignat-Lavaud
Microsoft Research
Verified email at microsoft.com
Title
Cited by
Cited by
Year
Formal verification of smart contracts: Short paper
K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
4132016
A messy state of the union: Taming the composite state machines of TLS
B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
2015 IEEE Symposium on Security and Privacy, 535-552, 2015
2632015
Dependent types and multi-monadic effects in F
N Swamy, C Hriţcu, C Keller, A Rastogi, A Delignat-Lavaud, S Forest, ...
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
2302016
Triple handshakes and cookie cutters: Breaking and fixing authentication over TLS
K Bhargavan, AD Lavaud, C Fournet, A Pironti, PY Strub
2014 IEEE Symposium on Security and Privacy, 98-113, 2014
2222014
Discovering concrete attacks on website authorization by formal analysis 1
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
Journal of Computer Security 22 (4), 601-657, 2014
1582014
Transcript collision attacks: Breaking authentication in TLS, IKE, and SSH
K Bhargavan, G Leurent
972016
Verified low-level programming embedded in F*
K Bhargavan, A Delignat-Lavaud, C Fournet, C Hritcu, J Protzenko, ...
arXiv preprint arXiv:1703.00053, 2017
852017
Implementing and proving the TLS 1.3 record layer
A Delignat-Lavaud, C Fournet, M Kohlweiss, J Protzenko, A Rastogi, ...
2017 IEEE Symposium on Security and Privacy (SP), 463-482, 2017
71*2017
Keys to the cloud: formal analysis and concrete attacks on encrypted web storage
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
International Conference on Principles of Security and Trust, 126-146, 2013
492013
Language-based defenses against untrusted browser origins
K Bhargavan, A Delignat-Lavaud, S Maffeis
22nd {USENIX} Security Symposium ({USENIX} Security 13), 653-670, 2013
462013
Everest: Towards a verified, drop-in replacement of HTTPS
K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ...
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
422017
Web PKI: Closing the Gap between Guidelines and Practices.
A Delignat-Lavaud, M Abadi, A Birrell, I Mironov, T Wobber, Y Xie
NDSS, 2014
372014
Cinderella: Turning shabby X. 509 certificates into elegant anonymous credentials with the magic of verifiable computation
A Delignat-Lavaud, C Fournet, M Kohlweiss, B Parno
2016 IEEE Symposium on Security and Privacy (SP), 235-254, 2016
342016
{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
292015
Web-based Attacks on Host-Proof Encrypted Storage.
K Bhargavan, A Delignat-Lavaud
WOOT, 97-104, 2012
282012
Transport Layer Security (TLS) session hash and extended master secret extension
K Bhargavan, A Delignat-Lavaud, A Pironti, A Langley, M Ray
IETF RFC 7627, 2015
262015
Verified Contributive Channel Bindings for Compound Authentication.
K Bhargavan, A Delignat-Lavaud, A Pironti
NDSS, 2015
192015
A formal treatment of accountable proxying over TLS
K Bhargavan, I Boureanu, A Delignat-Lavaud, PA Fouque, C Onete
2018 IEEE Symposium on Security and Privacy (SP), 799-816, 2018
152018
Network-based origin confusion attacks against HTTPS virtual hosting
A Delignat-Lavaud, K Bhargavan
Proceedings of the 24th International Conference on World Wide Web, 227-237, 2015
132015
Evercrypt: A fast, verified, cross-platform cryptographic provider
J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ...
2020 IEEE Symposium on Security and Privacy (SP), 983-1002, 2020
122020
The system can't perform the operation now. Try again later.
Articles 1–20