Towards Formal Linear Cryptanalysis using HOL4

Osman Hasan, Syed Ali Khayam. Towards Formal Linear Cryptanalysis using HOL4. J. UCS, 20(2):193-212, 2014. [doi]

Abstract

Abstract is missing.