Pages that link to "Item:Q5716816"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716816):
Displaying 12 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Deciding knowledge in security protocols under equational theories (Q860894) (← links)
- Computationally sound implementations of equational theories against passive adversaries (Q1013091) (← links)
- Moving the bar on computationally sound exclusive-or (Q2148759) (← links)
- Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980) (← links)
- Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later (Q2945721) (← links)
- Deciding Knowledge in Security Protocols for Monoidal Equational Theories (Q3498466) (← links)
- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols (Q3631369) (← links)
- YAPA: A Generic Tool for Computing Intruder Knowledge (Q3636824) (← links)
- Limits of the Cryptographic Realization of Dolev-Yao-Style XOR (Q5862666) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)