CoSP
From MaRDI portal
Cited in
(9)- Computational soundness of symbolic zero-knowledge proofs: weaker assumptions and mechanized verification
- 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
- YAPA
- OFMC
- EasyCrypt
- pGCL
- Probabilistic functions and cryptographic oracles in higher order logic
This page was built for software: CoSP
