Automated Proofs of Block Cipher Modes of Operation.

Martin Gagné Pascal Lafourcade Yassine Lakhnech Reihaneh Safavi-Naini

Published in: J. Autom. Reason. (2016)

Keyphrases

low cost
block cipher
automated theorem provers
s box
lightweight
secret key
video sequences
theorem prover