A C++ Class for Analysing Vector Boolean Functions from a Cryptographic Perspective.

José Antonio Álvarez-Cubero Pedro J. Zufiria

Published in: SECRYPT (2010)

Keyphrases

boolean functions
threshold functions
uniform distribution
dnf formulae
linear threshold
polynomial size
functional properties
monotone boolean functions
dnf formulas
linear functions
binary decision diagrams
multi valued
satisfiability problem
class labels
statistical queries
relevant variables
prime implicants