A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
A Security Analysis of Deoxys and its Internal Tweakable Block Ciphers
IACR Transactions on Symmetric Cryptology
In this article, we provide the first independent security analysis of Deoxys, a third-round authenticated encryption candidate of the CAESAR competition, and its internal tweakable block ciphers Deoxys-BC-256 and Deoxys-BC-384. We show that the related-tweakey differential bounds provided by the designers can be greatly improved thanks to a Mixed Integer Linear Programming (MILP) based search tool. In particular, we develop a new method to incorporate linear incompatibility in the MILP model.doi:10.46586/tosc.v2017.i3.73-107 fatcat:z5yrucospzbhdmmt2pljhx43ni