Ling Sun 0001, Wei Wang 0035, Meiqin Wang. Accelerating the Search of Differential and Linear Characteristics with the SAT Method. IACR Trans. Symmetric Cryptol., 2021(1):269-315, 2021. [doi]
@article{SunWW21-0,
title = {Accelerating the Search of Differential and Linear Characteristics with the SAT Method},
author = {Ling Sun 0001 and Wei Wang 0035 and Meiqin Wang},
year = {2021},
doi = {10.46586/tosc.v2021.i1.269-315},
url = {https://doi.org/10.46586/tosc.v2021.i1.269-315},
researchr = {https://researchr.org/publication/SunWW21-0},
cites = {0},
citedby = {0},
journal = {IACR Trans. Symmetric Cryptol.},
volume = {2021},
number = {1},
pages = {269-315},
}