CoSP
From MaRDI portal
Software:37128
No author found.
Related Items (5)
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 ⋮ Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later ⋮ Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
This page was built for software: CoSP
