Formal modeling and verification for domain validation and ACME

DOI10.1007/978-3-319-70972-7_32MaRDI QIDQ5854445zbMATH OpenOpenAlexFDO

Authors Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi

Publication date 17 March 2021

Published in Financial Cryptography and Data Security (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01397439/file/paper.pdf

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Recommendations

• Certificate transparency with enhancements and short proofs
• On the security of TLS-DHE in the standard model
• ASICS: Authenticated key exchange security incorporating certification systems
• Proving the TLS handshake secure (as it is)
• On the security of the TLS protocol: a systematic analysis

Cited in

(1)

• Certificate transparency with enhancements and short proofs

This page was built for publication: Formal modeling and verification for domain validation and ACME

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5854445)