Résumé : We use a linear algebra point of view to describe the derivatives and higher order derivatives over F_2^n. On one hand, this new approach ennobles us to prove several properties of these functions, as well as the functions that have these derivatives. On the other hand, we provide a method to construct all of the higher order derivatives in given directions. We also demonstrate some properties of the higher order derivatives and their decomposition as a sum of functions with 0-linear structure. Moreover, we introduce a criterion and an algorithm to realize discrete antidifferentiation of vectorial Boolean functions. This leads us to define a new equivalence of functions, that we call differential equivalence, which links functions that share the same derivatives in directions given by some subspace.
|Dernière modification : Wednesday 24 February 2016||Contact : Cyril.Banderier at lipn.univ-paris13.fr|