Keyword:SAT model

Publications
Differential Cryptanalysis of Round-Reduced SPEEDY Family Qingyuan Yu, Keting Jia, Guangnan Zou and Guoyan Zhang EasyChair Preprint 9356