56,729 Hits in 5.2 sec

On selected issues of Boolean function application in symmetric key cryptography against side channel attacks

Kamaruzzaman Seman, Muhammad Fahim Roslan, Azni Haslizan Ab Halim, M Nor Azizi Syam Mohd Sayuti
2019 Journal of Physics, Conference Series  
Within this work, the nonlinearity and correlation immunity issues of Boolean function is discussed followed by complementary counter measure against side channel attack especially differential power attack  ...  However, there may be some issues and conflicting criteria which prevent such a Boolean function to resist the algorithm to all known attacks.  ...  One of its main components is Boolean function in which its application is to provide a better complexity to the algorithm, so it will not trivially breakable.  ... 
doi:10.1088/1742-6596/1282/1/012001 fatcat:43gbjqnggvakbno4kmjmxdcviu

Calculation Of Composite Spectra For Boolean Functions In Haar Domain

Bogdan Falkowski, Shixing Yan
2007 Zenodo  
Publication in the conference proceedings of EUSIPCO, Poznan, Poland, 2007  ...  In the current method, the transformations between spectral domain and Boolean domain for the composite Haar spectra from the known Haar spectra of the Boolean functions are needed.  ...  The Haar spectra of the logic product, logic sum, EXOR sum and negation of Boolean functions are frequently computed in the applications of the Haar transform in logic design.  ... 
doi:10.5281/zenodo.40642 fatcat:akip662fonalllddwbjonyvwbe

Page 567 of Automation and Remote Control Vol. 37, Issue 4 [page]

1976 Automation and Remote Control  
can be established between functional relations and the class of Boolean functions in the following way.  ...  ,M) is the Boolean function / = ) xij; If Y; is the composite name Yj: { Y jx ee Y jm?»  ... 

Application of majority voting and consensus voting algorithms in N-version software

R Yu Tsarev, M S Durmuş, I Üstoglu, V A Morozov
2018 Journal of Physics, Conference Series  
It is shown that the agreement matrix can be transformed into an appropriate form by using the Boolean compositions when the equivalence relation is satisfied.  ...  N-version programming is one of the most common techniques which is used to improve the reliability of software by building in fault tolerance, redundancy and decreasing common cause failures.  ...  It provides the theoretical basis of the Boolean composition application and an example of the application of Boolean compositions to an agreement matrix.  ... 
doi:10.1088/1742-6596/1015/4/042059 fatcat:ybhnt3upxja3vdgistznjru2zi

Reasoning Boolean operation based modeling for heterogeneous objects

W Sun, X Hu
2002 Computer-Aided Design  
An example of such an application, its hierarchy of the model database, and the major steps of the model construction are described. q  ...  In addition to the material-dominant Boolean union, subtraction, and intersection, a new Boolean complex_union operation is de®ned and introduced to the set of the reasoning Boolean operation.  ...  Hu during the course of this research.  ... 
doi:10.1016/s0010-4485(01)00131-2 fatcat:7ooeyph6rbes5dp4p5tq2iykdi

Page 3126 of Mathematical Reviews Vol. 58, Issue 4 [page]

1979 Mathematical Reviews  
Chapter 3 deals with the so-called composition model mentioned above. The last three chapters are concerned with applications: | different types of flip-flops, shift registers and multi-stable cells.  ...  The well-known calculus of Boolean functions is utilized to solve the synthesis problem.  ... 

Verifiable composition of access control and application features

Eunjee Song, Raghu Reddy, Robert France, Indrakshi Ray, Geri Georg, Roger Alexander
2005 Proceedings of the tenth ACM symposium on Access control models and technologies - SACMAT '05  
Composition of aspect and primary models yields a design model in which access control features are integrated with other application features.  ...  Given an aspect model, a primary model, and a specified property, the composition technique produces proof obligations as the behavioral descriptions in the aspect and primary models are composed.  ...  Chan and Kwok [3] model a design pattern for security that addresses asset and functional distribution, vulnerability, threat, and impact of loss.  ... 
doi:10.1145/1063979.1064001 dblp:conf/sacmat/SongRFRGA05 fatcat:rq4jcnikwvczbpt657dfmn3cgq

Editorial: Special issue on Boolean functions and their applications

Lilya Budaghyan, Tor Helleseth, Alexander Kholosha
2015 Cryptography and Communications  
In particular, many cryptographic problems are formulated in terms of Boolean functions and Boolean function techniques are essential for solving these problems.  ...  The participants presented talks highlighting recent results in the field which covered various applications of Boolean functions including coding, cryptography, combinatorics, commutative algebra and  ...  Some of these bent functions are obtained via new infinite families of permutations provided with their compositional inverses.  ... 
doi:10.1007/s12095-015-0171-4 fatcat:cfmfqa4c5nbazibs4qshj4nsoi

A Formal Framework for Composing Qualitative Models of Biological Systems [chapter]

Hanadi Alkhudhayr, Jason Steggles
2017 Lecture Notes in Computer Science  
One issue with the application of Boolean networks is the state space explosion problem which limits the applicability of the approach to large realistic systems.  ...  In this paper we investigate developing a compositional framework for Boolean networks to facilitate the construction and analysis of large scale models.  ...  We also acknowledge the nancial support provided by Faculty of Computing and Information Technology, King Abdulaziz University.  ... 
doi:10.1007/978-3-319-71069-3_2 fatcat:w62o72l7bzh5fddjelbdtc6umi

Boolean Networks Models in Science and Engineering

Juan A. Aledo, Silvia Martinez, Jose C. Valverde
2021 Mathematics  
As a generalization of other notions like cellular automata or Kauffman networks appeared in the last quarter of the twentieth century, the notion of Boolean networks has undergone a special development  ...  Likewise, they thank all the referees for their time and effort in carrying out the corresponding review reports.  ...  Lastly, they thank the journal editorial team for the support during the preparation of this Special Issue. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/math9080867 fatcat:bfv4m2haifg55nf6wwqjwgjday

Managing space for finite-state verification

Jianbin Tan, George S. Avrunin, Lori A. Clarke
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
Finite-state verification (FSV) techniques attempt to prove properties about a model of a system by examining all possible behaviors of that model.  ...  We describe an experiment showing that these two symbolic approaches can improve the performance of both FSV tools and are more efficient than two other algorithms that store the state space explicitly  ...  The application of the transition function to event e and a composite state is equivalent to the application of the transition function to event e and the corresponding state in each process FSA.  ... 
doi:10.1145/1134285.1134308 dblp:conf/icse/TanAC06 fatcat:v2ev6pud7ratlbd2nhmoklmmqy


S. V. Burmistrov, O. M. Panasco, D. V. Vakulenko
2018 Вісник Черкаського державного технологічного університету. Серія: Технічні науки  
This method makes it possible to obtain the full composition of the group of relativity on the basis of one Boolean function of its composition, the name of the group of relativity (the smallest binary  ...  The article describes a matrix method for obtaining the full composition of the groups of relativity of Boolean functions on the basis of a universal permutation matrix.  ...  Binary numbers allow to see all BF states, to sort and group them by properties.  ... 
doi:10.24025/2306-4412.3.2018.162695 fatcat:pvqh35bebrhcjlt5tc6fsg64uq

Page 8640 of Mathematical Reviews Vol. , Issue 2001M [page]

2001 Mathematical Reviews  
of Boolean functions via the HSP theorem.  ...  structures with two composition laws.  ... 

Page 2318 of Mathematical Reviews Vol. , Issue 99d [page]

1991 Mathematical Reviews  
“The issue is of interest because of the large and rapidly expand- ing literature on the application of supermodular functions to the theory of economic optimization and the theory of games.” 06C Modular  ...  Properties of Boolean mappings that are reducible to properties of their coordinate functions. (Russian. Russian summary) Vestnik Moskov. Univ. Ser. I Mat.  ... 

Relationships between category theory and functional programming with an application

2019 Turkish Journal of Mathematics  
on sets Composition: Composition of functions.  ...  −→ f alse f alse −→ true From here, all elements of the BOOLEAN object can be generated with 1 true G G BOOLEAN n $ $ composition.  ... 
doi:10.3906/mat-1807-189 fatcat:6d5xc2aanrb7zoj33hmt4zk3xy
« Previous Showing results 1 — 15 out of 56,729 results