The SKINNY Family of Block Ciphers and Its Low-Latency Variant MANTIS
We present a new tweakable block cipher family SKINNY, whose goal is to compete with
NSA recent design SIMON in terms of hardware/software performances, while proving in …
NSA recent design SIMON in terms of hardware/software performances, while proving in …
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 …
A deeper look at machine learning-based cryptanalysis
At CRYPTO'19, Gohr proposed a new cryptanalysis strategy based on the utilisation of
machine learning algorithms. Using deep neural networks, he managed to build a neural …
machine learning algorithms. Using deep neural networks, he managed to build a neural …
Design of symmetric-key primitives for advanced cryptographic protocols
While traditional symmetric algorithms like AES and SHA-3 are optimized for efficient
hardware and software implementations, a range of emerging applications using advanced …
hardware and software implementations, a range of emerging applications using advanced …
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 …
Automatic security evaluation and (related-key) differential characteristic search: application to SIMON, PRESENT, LBlock, DES (L) and other bit-oriented block …
We propose two systematic methods to describe the differential property of an S-box with
linear inequalities based on logical condition modelling and computational geometry …
linear inequalities based on logical condition modelling and computational geometry …
CRAFT: lightweight tweakable block cipher with efficient protection against DFA attacks
Traditionally, countermeasures against physical attacks are integrated into the
implementation of cryptographic primitives after the algorithms have been designed for …
implementation of cryptographic primitives after the algorithms have been designed for …
The QARMA block cipher family. Almost MDS matrices over rings with zero divisors, nearly symmetric even-mansour constructions with non-involutory central rounds …
R Avanzi - IACR Transactions on Symmetric Cryptology, 2017 - tosc.iacr.org
This paper introduces QARMA, a new family of lightweight tweakable block ciphers targeted
at applications such as memory encryption, the generation of very short tags for hardware …
at applications such as memory encryption, the generation of very short tags for hardware …
Learning to compare nodes in branch and bound with graph neural networks
AG Labassi, D Chételat, A Lodi - Advances in neural …, 2022 - proceedings.neurips.cc
Branch-and-bound approaches in integer programming require ordering portions of the
space to explore next, a problem known as node comparison. We propose a new siamese …
space to explore next, a problem known as node comparison. We propose a new siamese …
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 …