Pages that link to "Item:Q2889811"
From MaRDI portal
The following pages link to Automated Verification of Block Cipher Modes of Operation, an Improved Method (Q2889811):
Displaying 4 items.
- Automated proofs of block cipher modes of operation (Q287326) (← links)
- Automatical method for searching integrals of ARX block cipher with division property using three subsets (Q2218984) (← links)
- Linicrypt: A Model for Practical Cryptography (Q2829955) (← links)
- Program Synthesis Using Dual Interpretation (Q3454117) (← links)