Keyword : Boolean function


The Exact Fast Algebraic Immunity of Two Subclasses of the Majority Function
Deng TANG Rong LUO Xiaoni DU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2016/11/01
Vol. E99-A  No. 11 ; pp. 2084-2088
Type of Manuscript:  LETTER
Category: Cryptography and Information Security
Keyword: 
stream cipherBoolean functionalgebraic attackfast algebraic immunity
 Summary | Full Text:PDF(113.1KB)

Candidate Boolean Functions towards Super-Quadratic Formula Size
Kenya UENO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/03/01
Vol. E98-D  No. 3 ; pp. 524-531
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science---New Spirits in Theory of Computation and Algorithm---)
Category: 
Keyword: 
Boolean functioncomputational complexityformula complexity
 Summary | Full Text:PDF(206.1KB)

Highly Nonlinear Resilient Functions without Linear Structures
Jian LIU Lusheng CHEN Xuan GUANG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/06/01
Vol. E97-A  No. 6 ; pp. 1405-1417
Type of Manuscript:  PAPER
Category: Cryptography and Information Security
Keyword: 
Boolean functionresiliencylinear structurenonlinearity
 Summary | Full Text:PDF(837KB)

Generalized Construction of Boolean Function with Maximum Algebraic Immunity Using Univariate Polynomial Representation
Shaojing FU Chao LI Longjiang QU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/01/01
Vol. E96-A  No. 1 ; pp. 360-362
Type of Manuscript:  LETTER
Category: Cryptography and Information Security
Keyword: 
cryptographyBoolean functionalgebraic immunity
 Summary | Full Text:PDF(82.9KB)

On the Construction of Boolean Functions with Optimal Algebraic Immunity Based on Factorization of Numbers of Variables
Huajin CHEN Wenfeng Qi Chuangui MA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/01/01
Vol. E96-A  No. 1 ; pp. 15-24
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Symmetric Key Cryptography
Keyword: 
Boolean functionalgebraic attackalgebraic immunitybalancednessnonlinearity
 Summary | Full Text:PDF(335.7KB)

A Comment on Algebraic Immunity of the Sum of Two Boolean Functions
Longjiang QU Shaojing FU Chunqing WU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/07/01
Vol. E95-A  No. 7 ; pp. 1187-1188
Type of Manuscript:  LETTER
Category: Cryptography and Information Security
Keyword: 
Boolean functionsumalgebraic immunity
 Summary | Full Text:PDF(57.7KB)

On Balanced Semi-Bent Functions with High Algebraic Degrees
YeFeng HE WenPing MA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/03/01
Vol. E94-A  No. 3 ; pp. 1019-1022
Type of Manuscript:  LETTER
Category: Cryptography and Information Security
Keyword: 
Boolean functionHadamard transformsemi-bent functionKloosterman sum
 Summary | Full Text:PDF(85KB)

Tree-Shellability of Restricted DNFs
Yasuhiko TAKENAGA Nao KATOUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/04/01
Vol. E91-D  No. 4 ; pp. 996-1002
Type of Manuscript:  PAPER
Category: Algorithm Theory
Keyword: 
Boolean functionshellabilityprime implicantbinary decision tree
 Summary | Full Text:PDF(210.9KB)

Horn Functions with a Single Two-Negated Term
Naoki KAWAMURA Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 3264-3266
Type of Manuscript:  LETTER
Category: General Fundamentals and Boundaries
Keyword: 
Boolean functionHorn functionprime implicantP-complete
 Summary | Full Text:PDF(64.4KB)

Constructing Boolean Functions by Modifying Maiorana-McFarland's Superclass Functions
Xiangyong ZENG Lei HU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/01/01
Vol. E88-A  No. 1 ; pp. 59-66
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Symmetric Key Cryptography
Keyword: 
Boolean functionnonlinearityalgebraic degreebalancednessWalsh spectrum
 Summary | Full Text:PDF(167.2KB)

Inclusion Relations of Boolean Functions Satisfying PC(l) of Order k
Tetsu IWATA Kaoru KUROSAWA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/01/01
Vol. E86-A  No. 1 ; pp. 47-53
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Symmetric Ciphers and Hash Functions
Keyword: 
cryptographyBoolean functionpropagation characteristicinclusion relations
 Summary | Full Text:PDF(411.7KB)

Exact Minimization of Free BDDs and Its Application to Pass-Transistor Logic Optimization
Kazuyoshi TAKAGI Hiroshi HATAKEDA Shinji KIMURA Katsumasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/11/25
Vol. E82-A  No. 11 ; pp. 2407-2413
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
Free BDDPass-Transistor LogicBoolean functionlogic minimization
 Summary | Full Text:PDF(680.1KB)

Boolean Neural Network Design Using Set Covering in Hamming Geometrical Space
Xiaomin MA Xian Yang YI Zhaozhi ZHANG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/10/25
Vol. E82-A  No. 10 ; pp. 2285-2290
Type of Manuscript:  PAPER
Category: Neural Networks
Keyword: 
Boolean functionneural networkHamming space
 Summary | Full Text:PDF(390.8KB)

Highly Nonlinear Vector Boolean Functions
Takashi SATOH Kaoru KUROSAWA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/05/25
Vol. E82-A  No. 5 ; pp. 807-814
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
Boolean functionbent functionbalancednessnonlinearity
 Summary | Full Text:PDF(358.9KB)

Exponential Lower Bounds on the Size of Variants of OBDD Representing Integer Division
Takashi HORIYAMA Shuzo YAJIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/08/25
Vol. E81-D  No. 8 ; pp. 793-800
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
Boolean functiondivisionbinary decision diagramslower boundfooling set
 Summary | Full Text:PDF(668.3KB)

Computational Power of Nondeterministic Ordered Binary Decision Diagrams and Their Subclasses
Kazuyoshi TAKAGI Koyo NITTA Hironori BOUNO Yasuhiko TAKENAGA Shuzo YAJIMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/04/25
Vol. E80-A  No. 4 ; pp. 663-669
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
computational complexityBoolean functionordered binary decision diagramsatisfiabilitycombinational circuitcutwidthsum-of-product formzero-suppressed binary decision diagrams (BDD)ternary decision diagram
 Summary | Full Text:PDF(675.4KB)

The Complexity of the Optimal Variable Ordering Problems of a Shared Binary Decision Diagram
Seiichiro TANI Kiyoharu HAMAGUCHI Shuzo YAJIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/04/25
Vol. E79-D  No. 4 ; pp. 271-281
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
ordered binary decision diagramvariable orderingoptimal linear arrangementNP-completeBoolean function
 Summary | Full Text:PDF(924.5KB)

Complexity of Boolean Functions Satisfying the Propagation Criterion
Shouichi HIROSE Katsuo IKEDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/04/25
Vol. E78-A  No. 4 ; pp. 470-478
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
Boolean functionpropagation criterionunatenessinversion complexityformula sizeVLSI complexityOBDD size
 Summary | Full Text:PDF(623.5KB)

Computational Complexity of Manipulating Binary Decision Diagrams
Yasuhiko TAKENAGA Shuzo YAJIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1994/06/25
Vol. E77-D  No. 6 ; pp. 642-647
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
binary decision diagramcomputatioal complexityBoolean functionparallel algorithm
 Summary | Full Text:PDF(554.8KB)

BEM-: An Arithmetic Boolean Expression Manipulator Using BDDs
Shin-ichi MINATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10 ; pp. 1721-1729
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
BDD (binary decision diagram)Boolean functionarithmetic Boolean expressionB-to-(Boolean-to-integer) functioncombinatorial problem
 Summary | Full Text:PDF(730.2KB)

Synthesis of Discrete-Time Cellular Neural Networks for Binary Image Processing
Chun-Ying HO Dao-Heng Yu Shinsaku MORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/05/25
Vol. E76-A  No. 5 ; pp. 735-741
Type of Manuscript:  Special Section PAPER (Special Section on Neural Nets,Chaos and Numerics)
Category: Neural Nets--Theory and Applications--
Keyword: 
synthesizing approachthreshold functionthreshold logicBoolean functionl-realizabiltysensitivitydirect-R realization
 Summary | Full Text:PDF(621.1KB)