Dachao Wang, Baocang Wang, Siwei Sun. SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers. IACR Trans. Symmetric Cryptol., 2023(1):152-191, 2023. [doi]
@article{WangWS23-5,
title = {SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers},
author = {Dachao Wang and Baocang Wang and Siwei Sun},
year = {2023},
doi = {10.46586/tosc.v2023.i1.152-191},
url = {https://doi.org/10.46586/tosc.v2023.i1.152-191},
researchr = {https://researchr.org/publication/WangWS23-5},
cites = {0},
citedby = {0},
journal = {IACR Trans. Symmetric Cryptol.},
volume = {2023},
number = {1},
pages = {152-191},
}