![](/img/cover-not-exists.png)
SMT Solver-Based Cryptanalysis of Block Ciphers
Sahu, Harish Kumar, Pillai, N. Rajesh, Gupta, Indivar, Sharma, R. K.Volume:
1
Journal:
SN Computer Science
DOI:
10.1007/s42979-020-00181-4
Date:
May, 2020
File:
PDF, 2.00 MB
2020