SAT-Aided Differential Cryptanalysis of Lightweight Block Ciphers Midori, MANTIS and QARMA.

Yaxin Cui Hong Xu Lin Tan Wenfeng Qi

Published in: ICICS (2023)

Keyphrases

block cipher
lightweight
satisfiability problem
sat solvers
development environments
wireless sensor networks
hash functions
low cost
handheld devices