Pages that link to "Item:Q3656840"
From MaRDI portal
The following pages link to Automated Security Proof for Symmetric Encryption Modes (Q3656840):
Displaying 4 items.
- Automated proofs of block cipher modes of operation (Q287326) (← links)
- Ciphertext verification security of symmetric encryption schemes (Q848329) (← links)
- Linicrypt: A Model for Practical Cryptography (Q2829955) (← links)
- Automating Computational Proofs for Public-Key-Based Key Exchange (Q4933211) (← links)