The following pages link to Deciding framed bisimilarity (Q2842870):
Displaying 8 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)
- Analysing privacy-type properties in cryptographic protocols (invited talk) (Q4993330) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
- On bisimulations for the spi calculus (Q5462665) (← links)
- Automating Security Analysis: Symbolic Equivalence of Constraint Systems (Q5747780) (← links)
