Cryptography and the methodology of provable security
From MaRDI portal
Recommendations
Cited in
(9)- Shared verification cryptography domains: Security in computers
- Proof techniques for cryptographic processes
- Mathematics, cryptology, security
- Different approaches to the security of cryptography-based security mechanisms
- scientific article; zbMATH DE number 17388 (Why is no real title available?)
- Computer-Aided Security Proofs for the Working Cryptographer
- scientific article; zbMATH DE number 5271203 (Why is no real title available?)
- A “proof-reading” of Some Issues in Cryptography
- scientific article; zbMATH DE number 5059264 (Why is no real title available?)
This page was built for publication: Cryptography and the methodology of provable security
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4426678)