Survey on cyberspace security
H Zhang, W Han, X Lai, D Lin, J Ma, JH Li - Science China Information …, 2015 - Springer
Along with the rapid development and wide application of information technology, human
society has entered the information era. In this era, people live and work in cyberspace …
society has entered the information era. In this era, people live and work in cyberspace …
Applying MILP method to searching integral distinguishers based on division property for 6 lightweight block ciphers
Division property is a generalized integral property proposed by Todo at EUROCRYPT
2015, and very recently, Todo et al. proposed bit-based division property and applied to …
2015, and very recently, Todo et al. proposed bit-based division property and applied to …
Accelerating the search of differential and linear characteristics with the SAT method
The introduction of the automatic search boosts the cryptanalysis of symmetric-key primitives
to some degree. However, the performance of the automatic search is not always …
to some degree. However, the performance of the automatic search is not always …
Bit-Based Division Property and Application to Simon Family
Y Todo, M Morii - … Encryption: 23rd International Conference, FSE 2016 …, 2016 - Springer
Ciphers that do not use S-boxes have been discussed for the demand on lightweight
cryptosystems, and their round functions consist of and, rotation, and xor. Especially, the …
cryptosystems, and their round functions consist of and, rotation, and xor. Especially, the …
SIMON and SPECK: Block Ciphers for the Internet of Things
R Beaulieu, D Shors, J Smith… - Cryptology ePrint …, 2015 - eprint.iacr.org
Abstract The US National Security Agency (NSA) developed the SIMON and SPECK families
of lightweight block ciphers as an aid for securing applications in very constrained …
of lightweight block ciphers as an aid for securing applications in very constrained …
New impossible differential search tool from design and cryptanalysis aspects: Revealing structural properties of several ciphers
Y Sasaki, Y Todo - Advances in Cryptology–EUROCRYPT 2017: 36th …, 2017 - Springer
In this paper, a new tool searching for impossible differentials is presented. Our tool can
detect any contradiction between input and output differences. It can also take into account …
detect any contradiction between input and output differences. It can also take into account …
Observations on the SIMON block cipher family
In this paper we analyse the general class of functions underlying the Simon block cipher. In
particular, we derive efficiently computable and easily implementable expressions for the …
particular, we derive efficiently computable and easily implementable expressions for the …
MILP-based automatic search algorithms for differential and linear trails for speck
Abstract In recent years, Mixed Integer Linear Programming (MILP) has been successfully
applied in searching for differential characteristics and linear approximations in block …
applied in searching for differential characteristics and linear approximations in block …
Cube attacks on non-blackbox polynomials based on division property
The cube attack is a powerful cryptanalytic technique and is especially powerful against
stream ciphers. Since we need to analyze the complicated structure of a stream cipher in the …
stream ciphers. Since we need to analyze the complicated structure of a stream cipher in the …
MILP modeling for (large) s-boxes to optimize probability of differential characteristics
Abstract Current Mixed Integer Linear Programming (MILP)-based search against symmetric-
key primitives with 8-bit S-boxes can only build word-wise model to search for truncated …
key primitives with 8-bit S-boxes can only build word-wise model to search for truncated …