Pages that link to "Item:Q5505477"
From MaRDI portal
The following pages link to A Universally Composable Framework for the Analysis of Browser-Based Security Protocols (Q5505477):
Displaying 8 items.
- Formal methods for web security (Q511944) (← links)
- A universal composability framework for analysis of proxy threshold signature (Q615210) (← links)
- Learning DFA representations of HTTP for protecting web applications (Q869362) (← links)
- A cryptographic analysis of the TLS 1.3 handshake protocol (Q1983332) (← links)
- Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions (Q2802451) (← links)
- Towards Fine-Grained Access Control on Browser Extensions (Q2894355) (← links)
- JavaScript instrumentation for browser security (Q3189805) (← links)
- A Symbolic Model for Systematically Analyzing TEE-Based Protocols (Q6485814) (← links)