CoSP
From MaRDI portal
Cited in
(9)- YAPA
- OFMC
- EasyCrypt
- pGCL
- Probabilistic functions and cryptographic oracles in higher order logic
- Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
- The Applied Pi Calculus
- Bayesian authentication: quantifying security of the Hancke-Kuhn protocol
- Computational soundness of symbolic zero-knowledge proofs: weaker assumptions and mechanized verification
This page was built for software: CoSP
