Author

Profile picture
Osman Hasan
University of Sciences and Technology (NUST)
Islamabad, Pakistan
1 article by this author
Sort by:
Research Article
Towards Formal Linear Cryptanalysis using HOL4
Osman Hasan, Syed Khayam
10.3217/jucs-020-02-0193
 01-02-2014
 Unique: 577 | Total: 797  | Access Period:
 193-212
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK