%0 Journal Article %1 journals/iacr/LiLZHGQ22 %A Li, Huina %A Liu, Guozhen %A Zhang, Haochen %A Hu, Kai %A Guo, Jian %A Qiu, Weidong %D 2022 %J IACR Cryptol. ePrint Arch. %K dblp %P 1641 %T AlgSAT - a SAT Method for Search and Verification of Differential Characteristics from Algebraic Perspective. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2022.html#LiLZHGQ22 %V 2022

@article{journals/iacr/LiLZHGQ22, added-at = {2023-01-05T00:00:00.000+0100}, author = {Li, Huina and Liu, Guozhen and Zhang, Haochen and Hu, Kai and Guo, Jian and Qiu, Weidong}, biburl = {https://www.bibsonomy.org/bibtex/21a99fd28ef8a57259c7d191d0cfdd2df/dblp}, ee = {https://eprint.iacr.org/2022/1641}, interhash = {21510d13526f21c76c880a3d50f5f608}, intrahash = {1a99fd28ef8a57259c7d191d0cfdd2df}, journal = {IACR Cryptol. ePrint Arch.}, keywords = {dblp}, pages = 1641, timestamp = {2024-04-09T03:18:55.000+0200}, title = {AlgSAT - a SAT Method for Search and Verification of Differential Characteristics from Algebraic Perspective.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2022.html#LiLZHGQ22}, volume = 2022, year = 2022 }