HuinaLi
Ph.D. candidate in Shanghai Jiao Tong University
Shanghai Jiao Tong University; Nanyang Technological UniversitySingapore
Pinned Repositories
cadical
CaDiCaL SAT Solver
ai_sat
AlgSAT
The source codes and results are used to help verify the results in our paper.
Automatic-Preimage-Attack-Framework-on-Ascon-Xof
The source codes and results are used to help verify the results in our paper.
Automatic-Search-of-Linear-Structure
The source codes and results are used to help verify the results in our paper.
XoodooSat
a SAT-based automatic search toolkit to search for 2-round, 3-round, and 4-round differential/linear trail cores of Xoodoo.
HuinaLi's Repositories
HuinaLi/Automatic-Preimage-Attack-Framework-on-Ascon-Xof
The source codes and results are used to help verify the results in our paper.
HuinaLi/XoodooSat
a SAT-based automatic search toolkit to search for 2-round, 3-round, and 4-round differential/linear trail cores of Xoodoo.
HuinaLi/ai_sat
HuinaLi/AlgSAT
The source codes and results are used to help verify the results in our paper.
HuinaLi/Automatic-Search-of-Linear-Structure
The source codes and results are used to help verify the results in our paper.