International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Finding Low Degree Annihilators for a Boolean Function Using Polynomial Algorithms

Authors:
Vladimir Bayev
Download:
URL: http://eprint.iacr.org/2006/027
Search ePrint
Search Google
Abstract: Low degree annihilators for Boolean functions are of great interest in cryptology because of algebraic attacks on LFSR-based stream ciphers. Several polynomial algorithms for construction of low degree annihilators are introduced in this paper. The existence of such algorithms is studied for the following forms of the function representation: algebraic normal form (ANF), disjunctive normal form (DNF), conjunctive normal form (CNF), and arbitrary formula with the Boolean operations of negation, conjunction, and disjunction. For ANF and DNF of a Boolean function $f$ there exist polynomial algorithms that find the vector space $A_d (f)$ of all annihilators of degree $\leqslant d$. For CNF this problem is NP-hard. Nevertheless author introduces one polynomial algorithm that constructs some subspace of $A_d (f)$ having formula that represents $f$.
BibTeX
@misc{eprint-2006-21520,
  title={Finding Low Degree Annihilators for a Boolean Function Using Polynomial Algorithms},
  booktitle={IACR Eprint archive},
  keywords={foundations / Boolean function, low degree annihilator, polynomial algorithm, recursive algorithm.},
  url={http://eprint.iacr.org/2006/027},
  note={English version of the paper from Mathematics and Security of Information Technologies 2005 vbayev@yandex.ru 13160 received 12 Jan 2006},
  author={Vladimir Bayev},
  year=2006
}