Boolean functions and vectorial are the most important nonlinear components of stream ciphers. They should satisfy several criteria such as high nonlinearity, proper resiliency so on to guarantee security whole system. However, there some constraints among criteria, how achieve a trade-off between them is an issue. In this paper, possessing simple algebraic normal form with special Walsh spectr...

Written by prominent experts in the field, this monograph provides the first comprehensive and unified presentation of the structural, algorithmic, and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. It presentswithin this framework the fundamental elements...

A novel two-level Boolean minimization method is presented here. In contrast to classical methods the cover of the on-set is computed first, whilst no implicants are known to this phase. The implicants are being derived from the source terms by their expansion directed by the cover. This allows us to generate group implicants directly, avoiding the time-consuming implicant expansions and reduct...

This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimization strategy of the new method is based on the operators as defined in ESPRESSO-II, our SAT-based implementation is significantly different. The new minimizer SAT-ESPRESSO was found to perform 5–20 times faster than...

We study the space of all continuous fuzzy-valued functions  from a space $X$ into the space of fuzzy numbers $(mathbb{E}sp{1},dsb{infty})$  endowed with the pointwise convergence topology.   Our results generalize the classical ones for  continuous real-valued functions.   The field of applications of this approach seems to be large, since the classical case  allows many known devices to be fi...