Keyword:SAT model

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