A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
STP Models of Optimal Differential and Linear Trail for S-box Based Ciphers
[article]
2019
IACR Cryptology ePrint Archive
Automatic tools have played an important role in designing new cryptographic primitives and evaluating the security of ciphers. Simple Theorem Prover constraint solver (STP) has been used to search for differential/linear trails of ciphers. This paper proposes general STPbased models searching for differential and linear trails with the optimal probability and correlation for S-box based ciphers. In order to get trails with the best probability or correlation for ciphers with arbitrary S-box,
dblp:journals/iacr/LiuLLHHYW19
fatcat:u5c2s4y5ujb6zadbcyi7m5srnq