1 Hit in 9.2 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.  ...  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.  ...  [DR02] In Fast Software Encryption -23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers, pages 268-288, 2016. [GD07] Vijay Ganesh and David L.  ... 
doi:10.46586/tosc.v2021.i1.269-315 fatcat:sfdtcdt3cbhdjmoozh5qjasawy