Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

Difference of Function on Vector Space over F

Kenichi AraiKen WakabayashiHiroyuki Okazaki — 2014

Formalized Mathematics

In [11], the definitions of forward difference, backward difference, and central difference as difference operations for functions on R were formalized. However, the definitions of forward difference, backward difference, and central difference for functions on vector spaces over F have not been formalized. In cryptology, these definitions are very important in evaluating the security of cryptographic systems [3], [10]. Differential cryptanalysis [4] that undertakes a general purpose attack against...

Page 1

Download Results (CSV)