Automated proofs of block cipher modes of operation (Q287326)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated proofs of block cipher modes of operation |
scientific article; zbMATH DE number 6585586
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automated proofs of block cipher modes of operation |
scientific article; zbMATH DE number 6585586 |
Statements
Automated proofs of block cipher modes of operation (English)
0 references
26 May 2016
0 references
automated verification
0 references
Hoare logic
0 references
provable cryptography
0 references
symmetric encryption
0 references
block cipher
0 references
0 references
0.9459735
0 references
0.91552544
0 references
0.9012712
0 references
0.9012712
0 references
0.8742962
0 references
0.8648045
0 references
