CoSP
From MaRDI portal
Software:37128
swMATH25389MaRDI QIDQ37128FDOQ37128
Author name not available (Why is that?)
Cited In (5)
- 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
- Probabilistic functions and cryptographic oracles in higher order logic
This page was built for software: CoSP
