1 Hit in 4.9 sec

Accelerating the Search of Differential and Linear Characteristics with the SAT Method

Ling Sun, Wei Wang, Meiqin Wang
2021 IACR Transactions on Symmetric Cryptology  
This paper intends to fill this vacancy.  ...  The new idea is applied to search for optimal differential and linear characteristics for multiple ciphers.  ...  Acknowledgments The authors would like to thank the shepherd Stefan Kölbl and the anonymous reviewers for their valuable comments and suggestions to improve the quality of the paper.  ... 
doi:10.46586/tosc.v2021.i1.269-315 fatcat:sfdtcdt3cbhdjmoozh5qjasawy