A Proof that the ARX Cipher Salsa20 is Secure against Differential Cryptanalysis.
Nicky MouhaBart PreneelPublished in: IACR Cryptol. ePrint Arch. (2013)
Keyphrases
- block cipher
- stream cipher
- secret key
- hash functions
- s box
- lightweight
- encryption scheme
- theorem proving
- advanced encryption standard
- ranking algorithm
- security protocols
- linear logic
- security level
- public key
- signature scheme
- scatter search
- theorem prover
- authentication scheme
- natural deduction
- genetic algorithm
- data sets