Antoine Delignat-Lavaud

Citat de

	Toate	Din 2020
Referințe bibliografice	3662	2124
h-index	23	17
i10-index	30	24

440

220

110

330

201320142015201620172018201920202021202220232024202524 65 92 204 251 380 430 427 420 381 411 429 52

Acces public

Afișați-le pe toate

7 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Cédric FournetMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
Karthikeyan BhargavanINRIAAdresă de e-mail confirmată pe inria.fr
Santiago Zanella-BéguelinMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
Aseem RastogiResearcher, Microsoft ResearchAdresă de e-mail confirmată pe microsoft.com
Markulf KohlweissUniveristy of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtAdresă de e-mail confirmată pe inria.fr
Pierre-Yves StrubResearch Scientist, PQShieldAdresă de e-mail confirmată pe strub.nu
Jonathan ProtzenkoMicrosoft Azure ResearchAdresă de e-mail confirmată pe ens-lyon.org
Cătălin HrițcuTenured Faculty at MPI-SPAdresă de e-mail confirmată pe mpi-sp.org
Tahina RamananandroMicrosoft ResearchAdresă de e-mail confirmată pe ramananandro.org
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonAdresă de e-mail confirmată pe doc.ic.ac.uk
Benjamin BeurdoucheMozilla (prev. INRIA and ENS Paris)Adresă de e-mail confirmată pe ens.fr
Bryan ParnoCarnegie Mellon UniversityAdresă de e-mail confirmată pe cmu.edu
Alfredo PirontiIOActiveAdresă de e-mail confirmată pe inria.fr
Georges GonthierPrincipal Researcher, Microsoft ResearchAdresă de e-mail confirmată pe microsoft.com
Chetan BansalMicrosoftAdresă de e-mail confirmată pe microsoft.com
Ashay RaneGraduate Research Assistant, The University of Texas at AustinAdresă de e-mail confirmată pe utexas.edu
Samin IshtiaqRiverlaneAdresă de e-mail confirmată pe riverlane.com
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresă de e-mail confirmată pe cs.ucsc.edu
Ted WobberPrincipal Researcher, Microsoft ResearchAdresă de e-mail confirmată pe microsoft.com

Urmăriți

Antoine Delignat-Lavaud

Microsoft Research

Adresă de e-mail confirmată pe microsoft.com

security programming languages cryptographic protocols software verification


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	826	2016
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	504	2016
A messy state of the union: Taming the composite state machines of TLS B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ... Communications of the ACM 60 (2), 99-107, 2017	415	2017
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	292	2014
Discovering concrete attacks on website authorization by formal analysis C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis Journal of Computer Security 22 (4), 601-657, 2014	221	2014
Verified low-level programming embedded in F J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ... Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017	180	2017
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	150*	2017
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	125	2020
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, 2017	101	2017
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	96	2016
{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	86	2019
Web PKI: Closing the Gap between Guidelines and Practices. A Delignat-Lavaud, M Abadi, A Birrell, I Mironov, T Wobber, Y Xie NDSS, 2014	60	2014
Language-based defenses against untrusted browser origins K Bhargavan, A Delignat-Lavaud, S Maffeis 22nd USENIX Security Symposium (USENIX Security 13), 653-670, 2013	57	2013
Keys to the cloud: Formal analysis and concrete attacks on encrypted web storage C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis Principles of Security and Trust: Second International Conference, POST 2013 …, 2013	54	2013
Toward confidential cloud computing M Russinovich, M Costa, C Fournet, D Chisnall, A Delignat-Lavaud, ... Communications of the ACM 64 (6), 54-61, 2021	51	2021
State separation for code-based game-playing proofs C Brzuska, A Delignat-Lavaud, C Fournet, K Kohbrok, M Kohlweiss Advances in Cryptology–ASIACRYPT 2018: 24th International Conference on the …, 2018	47	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	42	2015
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	38	2018
A security model and fully verified implementation for the IETF QUIC record layer A Delignat-Lavaud, C Fournet, B Parno, J Protzenko, T Ramananandro, ... 2021 IEEE Symposium on Security and Privacy (SP), 1162-1178, 2021	35	2021
Web-based Attacks on Host-Proof Encrypted Storage. K Bhargavan, A Delignat-Lavaud WOOT, 97-104, 2012	31	2012

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori