Cited in
(13)- Comparing State Spaces in Automatic Security Protocol Analysis
- Computer Aided Verification
- Relating two standard notions of secrecy
- Handling Algebraic Properties in Automatic Analysis of Security Protocols
- Approximation-based tree regular model-checking
- AVISPA
- Casper
- Timbuk
- simpleAPL
- SATMC
- Programming Languages and Systems
- Programming Languages and Systems
- Computational soundness of symbolic analysis for protocols using hash functions
This page was built for software: HERMES
