Formal modeling and verification for domain validation and ACME

DOI10.1007/978-3-319-70972-7_32zbMATH Open1460.94036OpenAlexW2717128466MaRDI QIDQ5854445FDOQ5854445

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

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

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

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)