mdTLS: how to make middlebox-aware TLS more efficient?

DOI10.1007/978-981-97-1238-0_3MaRDI QIDQ6547884zbMATH OpenFDO

Authors Taehyun Ahn, Jiwon Kwak, Seungjoo Kim

Publication date 31 May 2024

Full work available at URL https://doi.org/10.1007/978-981-97-1238-0_3

zbMATH Keywords

formal verificationmaTLSmiddleboxproxy signature

Mathematics Subject Classification ID

Computer security (68M25) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Cites work

• Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols
• scientific article; zbMATH DE number 4191111 (Why is no real title available?)
• scientific article; zbMATH DE number 1107690 (Why is no real title available?)
• On the security of public key protocols
• Secure proxy signature schemes for delegation of signing rights
• Security arguments for digital signatures and blind signatures

This page was built for publication: mdTLS: how to make middlebox-aware TLS more efficient?

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