1. MILP modeling for (large) s-boxes to optimize probability of differential characteristics;Abdelkhalek;IACR Trans. Symmetric Cryptol.,2017
2. Gac via unit propagation;Bacchus,2007
3. Yet another local search solver and lingeling and friends entering the SAT competition 2014;Biere,2014
4. New types of cryptoanalytic attacks using related keys (extended abstract);Biham,1993
5. The SKINNY family of block ciphers and its low-latency variant MANTIS;Beierle,2016