CoSP
From MaRDI portal
Software:37128
swMATH25389MaRDI QIDQ37128FDOQ37128
Author name not available (Why is that?)
Cited In (5)
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
- The Applied Pi Calculus
- Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later
- Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification
- Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol
This page was built for software: CoSP
