Pages that link to "Item:Q5277904"
From MaRDI portal
The following pages link to From Security Protocols to Pushdown Automata (Q5277904):
Displaying 4 items.
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- Analysing privacy-type properties in cryptographic protocols (invited talk) (Q4993330) (← links)
- (Q5089298) (← links)
- DeepSec: deciding equivalence properties for security protocols -- improved theory and practice (Q6566464) (← links)