A Universally Composable Framework for the Analysis of Browser-Based Security Protocols

DOI10.1007/978-3-540-88733-1_20zbMATH Open1204.68025OpenAlexW1507808573MaRDI QIDQ5505477FDOQ5505477

Sebastian Gajek

Publication date: 27 January 2009

Published in: Provable Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88733-1_20

Recommendations

• scientific article; zbMATH DE number 1927581
• Universally Composable Security Analysis of TLS
• Verification of the IBOS Browser Security Properties in Reachability Logic
• User-aware provably secure protocols for browser-based mutual authentication

zbMATH Keywords

security modeluniversal composabilitybrowser-based protocols

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Internet topics (68M11)

Cites Work

• Analyzing security protocols using time-bounded task-PIOAs
• Title not available (Why is that?)
• On the security of public key protocols
• Title not available (Why is that?)
• Mitigating Dictionary Attacks on Password-Protected Local Storage

Cited In (6)

• A cryptographic analysis of the TLS 1.3 handshake protocol
• Learning DFA representations of HTTP for protecting web applications
• Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
• Enforcing User-Aware Browser-Based Mutual Authentication with Strong Locked Same Origin Policy
• JavaScript instrumentation for browser security
• A Symbolic Model for Systematically Analyzing TEE-Based Protocols

This page was built for publication: A Universally Composable Framework for the Analysis of Browser-Based Security Protocols

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