The following pages link to (Q2842870):
Displayed 7 items.
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- Implementing Spi Calculus Using Nominal Techniques (Q3507444) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- (Q4993330) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
- Automating Security Analysis: Symbolic Equivalence of Constraint Systems (Q5747780) (← links)