Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Antoine Delignat-Lavaud
@article{DBLP:journals/cacm/DelignatLavaudFVCRCR24,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Kapil Vaswani and
Sylvan Clebsch and
Maik Riechert and
Manuel Costa and
Mark Russinovich},
title = {Why Should {I} Trust Your Code?},
journal = {Commun. {ACM}},
volume = {67},
number = {1},
pages = {68--76},
year = {2024},
url = {https://doi.org/10.1145/3624578},
doi = {10.1145/3624578},
timestamp = {Sun, 28 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DelignatLavaudFVCRCR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/HowardAACCCDFJK23,
author = {Heidi Howard and
Fritz Alder and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Manuel Costa and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Andrew Jeffery and
Matthew Kerner and
Fotios Kounelis and
Markus A. Kuppe and
Julien Maffre and
Mark Russinovich and
Christoph M. Wintersteiger},
title = {Confidential Consortium Framework: Secure Multiparty Applications
with Confidentiality, Integrity, and High Availability},
journal = {Proc. {VLDB} Endow.},
volume = {17},
number = {2},
pages = {225--240},
year = {2023},
url = {https://www.vldb.org/pvldb/vol17/p225-howard.pdf},
timestamp = {Fri, 08 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/HowardAACCCDFJK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/DelignatLavaudFVCRCR23,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Kapil Vaswani and
Sylvan Clebsch and
Maik Riechert and
Manuel Costa and
Mark Russinovich},
title = {Why Should {I} Trust Your Code?: Confidential computing enables users
to authenticate code running in TEEs, but users also need evidence
this code is trustworthy},
journal = {{ACM} Queue},
volume = {21},
number = {4},
pages = {94--122},
year = {2023},
url = {https://doi.org/10.1145/3623460},
doi = {10.1145/3623460},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/DelignatLavaudFVCRCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/NiDFRS23,
author = {Haobin Ni and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Tahina Ramananandro and
Nikhil Swamy},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {ASN1*: Provably Correct, Non-malleable Parsing for {ASN.1} {DER}},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {275--289},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575684},
doi = {10.1145/3573105.3575684},
timestamp = {Fri, 13 Jan 2023 13:03:25 +0100},
biburl = {https://dblp.org/rec/conf/cpp/NiDFRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-11559,
author = {Heidi Howard and
Fritz Alder and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Manuel Costa and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Andrew Jeffery and
Matthew Kerner and
Fotios Kounelis and
Markus A. Kuppe and
Julien Maffre and
Mark Russinovich and
Christoph M. Wintersteiger},
title = {Confidential Consortium Framework: Secure Multiparty Applications
with Confidentiality, Integrity, and High Availability},
journal = {CoRR},
volume = {abs/2310.11559},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.11559},
doi = {10.48550/ARXIV.2310.11559},
eprinttype = {arXiv},
eprint = {2310.11559},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-11559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiacrypt/BrzuskaDEFKK22,
author = {Chris Brzuska and
Antoine Delignat{-}Lavaud and
Christoph Egger and
C{\'{e}}dric Fournet and
Konrad Kohbrok and
Markulf Kohlweiss},
editor = {Shweta Agrawal and
Dongdai Lin},
title = {Key-Schedule Security for the {TLS} 1.3 Standard},
booktitle = {Advances in Cryptology - {ASIACRYPT} 2022 - 28th International Conference
on the Theory and Application of Cryptology and Information Security,
Taipei, Taiwan, December 5-9, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13791},
pages = {621--650},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22963-3\_21},
doi = {10.1007/978-3-031-22963-3\_21},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asiacrypt/BrzuskaDEFKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/ShamisPC0FACCDK22,
author = {Alex Shamis and
Peter R. Pietzuch and
Burcu Canakci and
Miguel Castro and
C{\'{e}}dric Fournet and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Antoine Delignat{-}Lavaud and
Matthew Kerner and
Julien Maffre and
Olga Vrousgou and
Christoph M. Wintersteiger and
Manuel Costa and
Mark Russinovich},
editor = {Amar Phanishayee and
Vyas Sekar},
title = {{IA-CCF:} Individual Accountability for Permissioned Ledgers},
booktitle = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
pages = {467--491},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/nsdi22/presentation/shamis},
timestamp = {Wed, 06 Jul 2022 16:57:28 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/ShamisPC0FACCDK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15757,
author = {Alex Shamis and
Peter R. Pietzuch and
Antoine Delignat{-}Lavaud and
Andrew Paverd and
Manuel Costa},
title = {Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine
Model Agreement},
journal = {CoRR},
volume = {abs/2205.15757},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15757},
doi = {10.48550/ARXIV.2205.15757},
eprinttype = {arXiv},
eprint = {2205.15757},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/RussinovichCFCD21,
author = {Mark Russinovich and
Manuel Costa and
C{\'{e}}dric Fournet and
David Chisnall and
Antoine Delignat{-}Lavaud and
Sylvan Clebsch and
Kapil Vaswani and
Vikas Bhatia},
title = {Toward confidential cloud computing},
journal = {Commun. {ACM}},
volume = {64},
number = {6},
pages = {54--61},
year = {2021},
url = {https://doi.org/10.1145/3453930},
doi = {10.1145/3453930},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/RussinovichCFCD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/RussinovichCFCD21,
author = {Mark Russinovich and
Manuel Costa and
C{\'{e}}dric Fournet and
David Chisnall and
Antoine Delignat{-}Lavaud and
Sylvan Clebsch and
Kapil Vaswani and
Vikas Bhatia},
title = {Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic
protection to data while in use},
journal = {{ACM} Queue},
volume = {19},
number = {1},
pages = {49--76},
year = {2021},
url = {https://doi.org/10.1145/3454122.3456125},
doi = {10.1145/3454122.3456125},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/RussinovichCFCD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Delignat-Lavaud21,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Bryan Parno and
Jonathan Protzenko and
Tahina Ramananandro and
Jay Bosamiya and
Joseph Lallemand and
Itsaka Rakotonirina and
Yi Zhou},
title = {A Security Model and Fully Verified Implementation for the {IETF}
{QUIC} Record Layer},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {1162--1178},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00039},
doi = {10.1109/SP40001.2021.00039},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/Delignat-Lavaud21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-13116,
author = {Alex Shamis and
Peter R. Pietzuch and
Miguel Castro and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Matthew Kerner and
Julien Maffre and
Manuel Costa and
Mark Russinovich},
title = {{PAC:} Practical Accountability for {CCF}},
journal = {CoRR},
volume = {abs/2105.13116},
year = {2021},
url = {https://arxiv.org/abs/2105.13116},
eprinttype = {arXiv},
eprint = {2105.13116},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-13116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BrzuskaDEFKK21,
author = {Chris Brzuska and
Antoine Delignat{-}Lavaud and
Christoph Egger and
C{\'{e}}dric Fournet and
Konrad Kohbrok and
Markulf Kohlweiss},
title = {Key-schedule Security for the {TLS} 1.3 Standard},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {467},
year = {2021},
url = {https://eprint.iacr.org/2021/467},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BrzuskaDEFKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ProtzenkoPFHPBB20,
author = {Jonathan Protzenko and
Bryan Parno and
Aymeric Fromherz and
Chris Hawblitzel and
Marina Polubelova and
Karthikeyan Bhargavan and
Benjamin Beurdouche and
Joonwon Choi and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Natalia Kulatova and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph M. Wintersteiger and
Santiago Zanella B{\'{e}}guelin},
title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {983--1002},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00114},
doi = {10.1109/SP40000.2020.00114},
timestamp = {Thu, 21 Sep 2023 15:57:24 +0200},
biburl = {https://dblp.org/rec/conf/sp/ProtzenkoPFHPBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Delignat-Lavaud20,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Bryan Parno and
Jonathan Protzenko and
Tahina Ramananandro and
Jay Bosamiya and
Joseph Lallemand and
Itsaka Rakotonirina and
Yi Zhou},
title = {A Security Model and Fully Verified Implementation for the {IETF}
{QUIC} Record Layer},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {114},
year = {2020},
url = {https://eprint.iacr.org/2020/114},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/Delignat-Lavaud20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/RamananandroDFS19,
author = {Tahina Ramananandro and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Nikhil Swamy and
Tej Chajed and
Nadim Kobeissi and
Jonathan Protzenko},
editor = {Nadia Heninger and
Patrick Traynor},
title = {EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message
Formats},
booktitle = {28th {USENIX} Security Symposium, {USENIX} Security 2019, Santa Clara,
CA, USA, August 14-16, 2019},
pages = {1465--1482},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/usenixsecurity19/presentation/delignat-lavaud},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uss/RamananandroDFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ProtzenkoPFHPBB19,
author = {Jonathan Protzenko and
Bryan Parno and
Aymeric Fromherz and
Chris Hawblitzel and
Marina Polubelova and
Karthikeyan Bhargavan and
Benjamin Beurdouche and
Joonwon Choi and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph M. Wintersteiger and
Santiago Zanella B{\'{e}}guelin},
title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {757},
year = {2019},
url = {https://eprint.iacr.org/2019/757},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ProtzenkoPFHPBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiacrypt/BrzuskaDFKK18,
author = {Chris Brzuska and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Konrad Kohbrok and
Markulf Kohlweiss},
editor = {Thomas Peyrin and
Steven D. Galbraith},
title = {State Separation for Code-Based Game-Playing Proofs},
booktitle = {Advances in Cryptology - {ASIACRYPT} 2018 - 24th International Conference
on the Theory and Application of Cryptology and Information Security,
Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11274},
pages = {222--249},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03332-3\_9},
doi = {10.1007/978-3-030-03332-3\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asiacrypt/BrzuskaDFKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BhargavanBDFO18,
author = {Karthikeyan Bhargavan and
Ioana Boureanu and
Antoine Delignat{-}Lavaud and
Pierre{-}Alain Fouque and
Cristina Onete},
title = {A Formal Treatment of Accountable Proxying Over {TLS}},
booktitle = {2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
21-23 May 2018, San Francisco, California, {USA}},
pages = {799--816},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SP.2018.00021},
doi = {10.1109/SP.2018.00021},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/BhargavanBDFO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BrzuskaDKK18,
author = {Chris Brzuska and
Antoine Delignat{-}Lavaud and
Konrad Kohbrok and
Markulf Kohlweiss},
title = {State-Separating Proofs: {A} Reduction Methodology for Real-World
Protocols},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {306},
year = {2018},
url = {https://eprint.iacr.org/2018/306},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BrzuskaDKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BeurdoucheBDFKP17,
author = {Benjamin Beurdouche and
Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Markulf Kohlweiss and
Alfredo Pironti and
Pierre{-}Yves Strub and
Jean Karim Zinzindohoue},
title = {A messy state of the union: taming the composite state machines of
{TLS}},
journal = {Commun. {ACM}},
volume = {60},
number = {2},
pages = {99--107},
year = {2017},
url = {https://doi.org/10.1145/3023357},
doi = {10.1145/3023357},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BeurdoucheBDFKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ProtzenkoZRRWBD17,
author = {Jonathan Protzenko and
Jean Karim Zinzindohou{\'{e}} and
Aseem Rastogi and
Tahina Ramananandro and
Peng Wang and
Santiago Zanella B{\'{e}}guelin and
Antoine Delignat{-}Lavaud and
Catalin Hritcu and
Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Nikhil Swamy},
title = {Verified low-level programming embedded in {F}},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {17:1--17:29},
year = {2017},
url = {https://doi.org/10.1145/3110261},
doi = {10.1145/3110261},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ProtzenkoZRRWBD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BhargavanDK17,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
Nadim Kobeissi},
editor = {Aggelos Kiayias},
title = {Formal Modeling and Verification for Domain Validation and {ACME}},
booktitle = {Financial Cryptography and Data Security - 21st International Conference,
{FC} 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10322},
pages = {561--578},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70972-7\_32},
doi = {10.1007/978-3-319-70972-7\_32},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/BhargavanDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BhargavanBDFHHI17,
author = {Karthikeyan Bhargavan and
Barry Bond and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Chris Hawblitzel and
Catalin Hritcu and
Samin Ishtiaq and
Markulf Kohlweiss and
K. Rustan M. Leino and
Jay R. Lorch and
Kenji Maillard and
Jianyang Pan and
Bryan Parno and
Jonathan Protzenko and
Tahina Ramananandro and
Ashay Rane and
Aseem Rastogi and
Nikhil Swamy and
Laure Thompson and
Peng Wang and
Santiago Zanella B{\'{e}}guelin and
Jean Karim Zinzindohoue},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Everest: Towards a Verified, Drop-in Replacement of {HTTPS}},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {1:1--1:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.1},
doi = {10.4230/LIPICS.SNAPL.2017.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/BhargavanBDFHHI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Delignat-Lavaud17,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Markulf Kohlweiss and
Jonathan Protzenko and
Aseem Rastogi and
Nikhil Swamy and
Santiago Zanella B{\'{e}}guelin and
Karthikeyan Bhargavan and
Jianyang Pan and
Jean Karim Zinzindohoue},
title = {Implementing and Proving the {TLS} 1.3 Record Layer},
booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
CA, USA, May 22-26, 2017},
pages = {463--482},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SP.2017.58},
doi = {10.1109/SP.2017.58},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/Delignat-Lavaud17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BhargavanDFHPRR17,
author = {Jonathan Protzenko and
Jean Karim Zinzindohou{\'{e}} and
Aseem Rastogi and
Tahina Ramananandro and
Peng Wang and
Santiago Zanella B{\'{e}}guelin and
Antoine Delignat{-}Lavaud and
Catalin Hritcu and
Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Nikhil Swamy},
title = {Verified Low-Level Programming Embedded in F\({}^{\mbox{*}}\)},
journal = {CoRR},
volume = {abs/1703.00053},
year = {2017},
url = {http://arxiv.org/abs/1703.00053},
eprinttype = {arXiv},
eprint = {1703.00053},
timestamp = {Thu, 19 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BhargavanDFHPRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/DelignatLavaud16,
author = {Antoine Delignat{-}Lavaud},
title = {On the security of authentication protocols on the web. (La s{\'{e}}curit{\'{e}}
des protocoles d'authentification sur leWeb)},
school = {{PSL} Research University, Paris, France},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01469937},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/DelignatLavaud16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BhargavanDFGGKK16,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Anitha Gollamudi and
Georges Gonthier and
Nadim Kobeissi and
Natalia Kulatova and
Aseem Rastogi and
Thomas Sibut{-}Pinote and
Nikhil Swamy and
Santiago Zanella B{\'{e}}guelin},
editor = {Toby C. Murray and
Deian Stefan},
title = {Formal Verification of Smart Contracts: Short Paper},
booktitle = {Proceedings of the 2016 {ACM} Workshop on Programming Languages and
Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24,
2016},
pages = {91--96},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993600.2993611},
doi = {10.1145/2993600.2993611},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BhargavanDFGGKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SwamyHKRDFBFSKZ16,
author = {Nikhil Swamy and
Catalin Hritcu and
Chantal Keller and
Aseem Rastogi and
Antoine Delignat{-}Lavaud and
Simon Forest and
Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Pierre{-}Yves Strub and
Markulf Kohlweiss and
Jean Karim Zinzindohoue and
Santiago Zanella B{\'{e}}guelin},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Dependent types and multi-monadic effects in {F}},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {256--270},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837655},
doi = {10.1145/2837614.2837655},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SwamyHKRDFBFSKZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Delignat-Lavaud16,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Markulf Kohlweiss and
Bryan Parno},
title = {Cinderella: Turning Shabby {X.509} Certificates into Elegant Anonymous
Credentials with the Magic of Verifiable Computation},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2016, San Jose, CA,
USA, May 22-26, 2016},
pages = {235--254},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SP.2016.22},
doi = {10.1109/SP.2016.22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/Delignat-Lavaud16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BhargavanDFKPPR16,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Markulf Kohlweiss and
Jianyang Pan and
Jonathan Protzenko and
Aseem Rastogi and
Nikhil Swamy and
Santiago Zanella B{\'{e}}guelin and
Jean Karim Zinzindohoue},
title = {Implementing and Proving the {TLS} 1.3 Record Layer},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1178},
year = {2016},
url = {http://eprint.iacr.org/2016/1178},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BhargavanDFKPPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/BhargavanDP15,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
Alfredo Pironti},
title = {Verified Contributive Channel Bindings for Compound Authentication},
booktitle = {22nd Annual Network and Distributed System Security Symposium, {NDSS}
2015, San Diego, California, USA, February 8-11, 2015},
publisher = {The Internet Society},
year = {2015},
url = {https://www.ndss-symposium.org/ndss2015/verified-contributive-channel-bindings-compound-authentication},
timestamp = {Mon, 01 Feb 2021 08:42:14 +0100},
biburl = {https://dblp.org/rec/conf/ndss/BhargavanDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BeurdoucheBDFKP15,
author = {Benjamin Beurdouche and
Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Markulf Kohlweiss and
Alfredo Pironti and
Pierre{-}Yves Strub and
Jean Karim Zinzindohoue},
title = {A Messy State of the Union: Taming the Composite State Machines of
{TLS}},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {535--552},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.39},
doi = {10.1109/SP.2015.39},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/BeurdoucheBDFKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woot/BeurdoucheDKPB15,
author = {Benjamin Beurdouche and
Antoine Delignat{-}Lavaud and
Nadim Kobeissi and
Alfredo Pironti and
Karthikeyan Bhargavan},
editor = {Aur{\'{e}}lien Francillon and
Thomas Ptacek},
title = {{FLEXTLS:} {A} Tool for Testing {TLS} Implementations},
booktitle = {9th {USENIX} Workshop on Offensive Technologies, {WOOT} '15, Washington,
DC, USA, August 10-11, 2015},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/woot15/workshop-program/presentation/beurdouche},
timestamp = {Mon, 01 Feb 2021 08:41:51 +0100},
biburl = {https://dblp.org/rec/conf/woot/BeurdoucheDKPB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/Delignat-Lavaud15,
author = {Antoine Delignat{-}Lavaud and
Karthikeyan Bhargavan},
editor = {Aldo Gangemi and
Stefano Leonardi and
Alessandro Panconesi},
title = {Network-based Origin Confusion Attacks against {HTTPS} Virtual Hosting},
booktitle = {Proceedings of the 24th International Conference on World Wide Web,
{WWW} 2015, Florence, Italy, May 18-22, 2015},
pages = {227--237},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2736277.2741089},
doi = {10.1145/2736277.2741089},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/www/Delignat-Lavaud15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc7627,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
Alfredo Pironti and
Adam Langley and
Marsh Ray},
title = {Transport Layer Security {(TLS)} Session Hash and Extended Master
Secret Extension},
journal = {{RFC}},
volume = {7627},
pages = {1--15},
year = {2015},
url = {https://doi.org/10.17487/RFC7627},
doi = {10.17487/RFC7627},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc7627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BansalBDM14,
author = {Chetan Bansal and
Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
Sergio Maffeis},
title = {Discovering concrete attacks on website authorization by formal analysis},
journal = {J. Comput. Secur.},
volume = {22},
number = {4},
pages = {601--657},
year = {2014},
url = {https://doi.org/10.3233/JCS-140503},
doi = {10.3233/JCS-140503},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BansalBDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/Delignat-LavaudABMWXR14,
author = {Antoine Delignat{-}Lavaud and
Mart{\'{\i}}n Abadi and
Andrew Birrell and
Ilya Mironov and
Ted Wobber and
Yinglian Xie},
title = {Web {PKI:} Closing the Gap between Guidelines and Practices},
booktitle = {21st Annual Network and Distributed System Security Symposium, {NDSS}
2014, San Diego, California, USA, February 23-26, 2014},
publisher = {The Internet Society},
year = {2014},
url = {https://www.ndss-symposium.org/ndss2014/web-pki-closing-gap-between-guidelines-and-practices},
timestamp = {Mon, 01 Feb 2021 08:42:18 +0100},
biburl = {https://dblp.org/rec/conf/ndss/Delignat-LavaudABMWXR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BhargavanDFPS14,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Alfredo Pironti and
Pierre{-}Yves Strub},
title = {Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication
over {TLS}},
booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
CA, USA, May 18-21, 2014},
pages = {98--113},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SP.2014.14},
doi = {10.1109/SP.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/BhargavanDFPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BhargavanDM13,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
Sergio Maffeis},
editor = {Alessandro Aldini and
Javier L{\'{o}}pez and
Fabio Martinelli},
title = {Defensive JavaScript - Building and Verifying Secure Web Components},
booktitle = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {8604},
pages = {88--123},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-10082-1\_4},
doi = {10.1007/978-3-319-10082-1\_4},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fosad/BhargavanDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/BansalBDM13,
author = {Chetan Bansal and
Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
Sergio Maffeis},
editor = {David A. Basin and
John C. Mitchell},
title = {Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted
Web Storage},
booktitle = {Principles of Security and Trust - Second International Conference,
{POST} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7796},
pages = {126--146},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36830-1\_7},
doi = {10.1007/978-3-642-36830-1\_7},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/post/BansalBDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BhargavanDM13,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
Sergio Maffeis},
editor = {Samuel T. King},
title = {Language-based Defenses Against Untrusted Browser Origins},
booktitle = {Proceedings of the 22th {USENIX} Security Symposium, Washington, DC,
USA, August 14-16, 2013},
pages = {653--670},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/bhargavan},
timestamp = {Mon, 01 Feb 2021 08:42:56 +0100},
biburl = {https://dblp.org/rec/conf/uss/BhargavanDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woot/BhargavanD12,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud},
editor = {Elie Bursztein and
Thomas Dullien},
title = {Web-based Attacks on Host-Proof Encrypted Storage},
booktitle = {6th {USENIX} Workshop on Offensive Technologies, WOOT'12, August 6-7,
2012, Bellevue, WA, USA, Proceedings},
pages = {97--104},
publisher = {{USENIX} Association},
year = {2012},
url = {http://www.usenix.org/conference/woot12/web-based-attacks-host-proof-encrypted-storage},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woot/BhargavanD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 16:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
