Author of the publication

AlgSAT - a SAT Method for Search and Verification of Differential Characteristics from Algebraic Perspective.

, , , , , and . IACR Cryptol. ePrint Arch., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Beyond k-Means++: Towards better cluster exploration with geometrical information., , , , and . Pattern Recognit., (February 2024)Radiometric Cross-Calibration of GF-6/WFV Sensor Using MODIS Images With Different BRDF Models., , , , , , , and . IEEE Trans. Geosci. Remote. Sens., (2022)Automatic Search of Linear Structure: Applications to Keccak and Ascon., , , , and . Inscrypt (2), volume 14527 of Lecture Notes in Computer Science, page 172-192. Springer, (2023)Super Resolution Reconstruction of Images Based on Interpolation and Full Convolutional Neural Network and Application in Medical Fields., and . IEEE Access, (2019)AlgSAT - a SAT Method for Search and Verification of Differential Characteristics from Algebraic Perspective., , , , , and . IACR Cryptol. ePrint Arch., (2022)A Fast and Stable Cluster Labeling Method for Support Vector Clustering.. J. Comput., 8 (12): 3251-3256 (2013)Automatic Preimage Attack Framework on Ascon Using a Linearize-and-Guess Approach., , , , and . IACR Trans. Symmetric Cryptol., 2023 (3): 74-100 (2023)A New Perspective of Support Vector Clustering with Boundary Patterns., , , and . MCS, volume 7872 of Lecture Notes in Computer Science, page 224-235. Springer, (2013)Recent Advances in Support Vector Clustering: Theory and Applications., and . Int. J. Pattern Recognit. Artif. Intell., 29 (1): 1550002:1-1550002:27 (2015)Efficient Training Support Vector Clustering With Appropriate Boundary Information., , , , , , , and . IEEE Access, (2019)