Sciweavers

33 search results - page 1 / 7
» Some Topics in Analysis of Boolean Functions
Sort
View
ECCC
2008
90views more  ECCC 2008»
13 years 5 months ago
Some Topics in Analysis of Boolean Functions
This article accompanies a tutorial talk given at the 40th ACM STOC conference. In it,
Ryan O'Donnell
DATE
2003
IEEE
85views Hardware» more  DATE 2003»
13 years 10 months ago
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
Amit Goel, Randal E. Bryant
ISBRA
2010
Springer
13 years 3 months ago
Analysis of Gene Interactions Using Restricted Boolean Networks and Time-Series Data
A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the B...
Carlos H. A. Higa, Vitor H. P. Louzada, Ronaldo Fu...
FSE
2007
Springer
101views Cryptology» more  FSE 2007»
13 years 11 months ago
Generalized Correlation Analysis of Vectorial Boolean Functions
We investigate the security of n-bit to m-bit vectorial Boolean functions in stream ciphers. Such stream ciphers have higher throughput than those using single-bit output Boolean f...
Claude Carlet, Khoongming Khoo, Chu-Wee Lim, Chuan...
FSE
2004
Springer
113views Cryptology» more  FSE 2004»
13 years 10 months ago
Minimum Distance between Bent and 1-Resilient Boolean Functions
In this paper we study the minimum distance between the set of bent functions and the set of 1-resilient Boolean functions and present a lower bound on that. The bound is proved to...
Soumen Maity, Subhamoy Maitra