default search action

combined dblp search
author search
venue search
publication search

ask others

Antoine Delignat-Lavaud

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2016
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/DelignatLavaud16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/DelignatLavaud16
Antoine Delignat-Lavaud:
On the security of authentication protocols on the web. (La sécurité des protocoles d'authentification sur leWeb). PSL Research University, Paris, France, 2016

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/DelignatLavaudFVCRCR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/DelignatLavaudFVCRCR24
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich:
Why Should I Trust Your Code? Commun. ACM 67(1): 68-76 (2024)
2023
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/HowardAACCCDFJK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/HowardAACCCDFJK23
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger:
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. Proc. VLDB Endow. 17(2): 225-240 (2023)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/queue/DelignatLavaudFVCRCR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/queue/DelignatLavaudFVCRCR23
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich:
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. ACM Queue 21(4): 94-122 (2023)
2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/RussinovichCFCD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/RussinovichCFCD21
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia:
Toward confidential cloud computing. Commun. ACM 64(6): 54-61 (2021)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/queue/RussinovichCFCD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/queue/RussinovichCFCD21
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia:
Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. ACM Queue 19(1): 49-76 (2021)
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BeurdoucheBDFKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BeurdoucheBDFKP17
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue:
A messy state of the union: taming the composite state machines of TLS. Commun. ACM 60(2): 99-107 (2017)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ProtzenkoZRRWBD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ProtzenkoZRRWBD17
Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy:
Verified low-level programming embedded in F. Proc. ACM Program. Lang. 1(ICFP): 17:1-17:29 (2017)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BansalBDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BansalBDM14
Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis:
Discovering concrete attacks on website authorization by formal analysis. J. Comput. Secur. 22(4): 601-657 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/NiDFRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/NiDFRS23
Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy:
ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. CPP 2023: 275-289
2022
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/asiacrypt/BrzuskaDEFKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asiacrypt/BrzuskaDEFKK22
Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss:
Key-Schedule Security for the TLS 1.3 Standard. ASIACRYPT (1) 2022: 621-650
[c22]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/ShamisPC0FACCDK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/ShamisPC0FACCDK22
Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich:
IA-CCF: Individual Accountability for Permissioned Ledgers. NSDI 2022: 467-491
2021
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Delignat-Lavaud21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Delignat-Lavaud21
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou:
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. SP 2021: 1162-1178
2020
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/ProtzenkoPFHPBB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/ProtzenkoPFHPBB20
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin:
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. SP 2020: 983-1002
2019
[c19]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/RamananandroDFS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/RamananandroDFS19
Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko:
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. USENIX Security Symposium 2019: 1465-1482
2018
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/asiacrypt/BrzuskaDFKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asiacrypt/BrzuskaDFKK18
Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss:
State Separation for Code-Based Game-Playing Proofs. ASIACRYPT (3) 2018: 222-249
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/BhargavanBDFO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/BhargavanBDFO18
Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete:
A Formal Treatment of Accountable Proxying Over TLS. IEEE Symposium on Security and Privacy 2018: 799-816
2017
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BhargavanDK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BhargavanDK17
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi:
Formal Modeling and Verification for Domain Validation and ACME. Financial Cryptography 2017: 561-578
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/BhargavanBDFHHI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/BhargavanBDFHHI17
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue:
Everest: Towards a Verified, Drop-in Replacement of HTTPS. SNAPL 2017: 1:1-1:12
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Delignat-Lavaud17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Delignat-Lavaud17
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue:
Implementing and Proving the TLS 1.3 Record Layer. IEEE Symposium on Security and Privacy 2017: 463-482
2016
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BhargavanDFGGKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BhargavanDFGGKK16
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella Béguelin:
Formal Verification of Smart Contracts: Short Paper. PLAS@CCS 2016: 91-96
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/SwamyHKRDFBFSKZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/SwamyHKRDFBFSKZ16
Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin:
Dependent types and multi-monadic effects in F. POPL 2016: 256-270
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Delignat-Lavaud16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Delignat-Lavaud16
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno:
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation. IEEE Symposium on Security and Privacy 2016: 235-254
2015
[c10]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ndss/BhargavanDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/BhargavanDP15
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti:
Verified Contributive Channel Bindings for Compound Authentication. NDSS 2015
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/BeurdoucheBDFKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/BeurdoucheBDFKP15
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue:
A Messy State of the Union: Taming the Composite State Machines of TLS. IEEE Symposium on Security and Privacy 2015: 535-552
[c8]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woot/BeurdoucheDKPB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woot/BeurdoucheDKPB15
Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan:
FLEXTLS: A Tool for Testing TLS Implementations. WOOT 2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/www/Delignat-Lavaud15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/Delignat-Lavaud15
Antoine Delignat-Lavaud, Karthikeyan Bhargavan:
Network-based Origin Confusion Attacks against HTTPS Virtual Hosting. WWW 2015: 227-237
2014
[c6]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ndss/Delignat-LavaudABMWXR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/Delignat-LavaudABMWXR14
Antoine Delignat-Lavaud, Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie:
Web PKI: Closing the Gap between Guidelines and Practices. NDSS 2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/BhargavanDFPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/BhargavanDFPS14
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Alfredo Pironti, Pierre-Yves Strub:
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS. IEEE Symposium on Security and Privacy 2014: 98-113
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/BhargavanDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/BhargavanDM13
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis:
Defensive JavaScript - Building and Verifying Secure Web Components. FOSAD 2013: 88-123
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/BansalBDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BansalBDM13
Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis:
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage. POST 2013: 126-146
[c2]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/BhargavanDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/BhargavanDM13
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis:
Language-based Defenses Against Untrusted Browser Origins. USENIX Security Symposium 2013: 653-670
2012
[c1]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woot/BhargavanD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woot/BhargavanD12
Karthikeyan Bhargavan, Antoine Delignat-Lavaud:
Web-based Attacks on Host-Proof Encrypted Storage. WOOT 2012: 97-104

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-11559
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-11559
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger:
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR abs/2310.11559 (2023)
2022
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-15757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-15757
Alex Shamis, Peter R. Pietzuch, Antoine Delignat-Lavaud, Andrew Paverd, Manuel Costa:
Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement. CoRR abs/2205.15757 (2022)
2021
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-13116
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-13116
Alex Shamis, Peter R. Pietzuch, Miguel Castro, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Cédric Fournet, Matthew Kerner, Julien Maffre, Manuel Costa, Mark Russinovich:
PAC: Practical Accountability for CCF. CoRR abs/2105.13116 (2021)
[i7]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BrzuskaDEFKK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BrzuskaDEFKK21
Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss:
Key-schedule Security for the TLS 1.3 Standard. IACR Cryptol. ePrint Arch. 2021: 467 (2021)
2020
[i6]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/Delignat-Lavaud20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Delignat-Lavaud20
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou:
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IACR Cryptol. ePrint Arch. 2020: 114 (2020)
2019
[i5]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/ProtzenkoPFHPBB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/ProtzenkoPFHPBB19
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin:
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptol. ePrint Arch. 2019: 757 (2019)
2018
[i4]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BrzuskaDKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BrzuskaDKK18
Chris Brzuska, Antoine Delignat-Lavaud, Konrad Kohbrok, Markulf Kohlweiss:
State-Separating Proofs: A Reduction Methodology for Real-World Protocols. IACR Cryptol. ePrint Arch. 2018: 306 (2018)
2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BhargavanDFHPRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BhargavanDFHPRR17
Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy:
Verified Low-Level Programming Embedded in F^*. CoRR abs/1703.00053 (2017)
2016
[i2]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BhargavanDFKPPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BhargavanDFKPPR16
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Jean Karim Zinzindohoue:
Implementing and Proving the TLS 1.3 Record Layer. IACR Cryptol. ePrint Arch. 2016: 1178 (2016)
2015
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/rfc/rfc7627
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rfc/rfc7627
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti, Adam Langley, Marsh Ray:
Transport Layer Security (TLS) Session Hash and Extended Master Secret Extension. RFC 7627: 1-15 (2015)

Coauthor Index

see FAQ

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.