Cited in
(9)- Weakening the perfect encryption assumption in Dolev-Yao adversaries
- An inductive approach to strand spaces
- Unifying simulatability definitions in cryptographic systems under different timing assumptions
- OFMC
- A Formal Language for Cryptographic Pseudocode
- Cryptographic protocol security analysis based on bounded constructing algorithm
- The reactive simulatability (RSIM) framework for asynchronous systems
- A collusion problem and its solution
- A calculus for cryptographic protocols: The spi calculus
This page was built for software: Interrogator
