Towards Formal Linear Cryptanalysis using HOL4.

Osman Hasan Syed Ali Khayam

Published in: J. Univers. Comput. Sci. (2014)

Keyphrases

formal methods
theorem prover
data sets
artificial intelligence
closed form
piecewise linear
formal specification
linear systems
decision trees
formal model
hash functions
linear constraints