An analysis of bent function properties using the transeunt triangle and the SRC-6 reconfigurable computer

Download
Author
Shafer, Jennifer L.
Date
2009-09Advisor
Butler, Jon T.
Stanica, Pantelimon
Metadata
Show full item recordAbstract
Linear attacks against cryptosystems can be defeated when combiner functions are composed of highly nonlinear Boolean functions. The highest nonlinearity Boolean functions, or bent functions, are not common- especially when they have many variables-bent functions are difficult to find. Understanding what properties are common to bent functions will help ease the search for them. Using the SRC-6 reconfigurable computer, functions can be generated or tested at a rate much higher than a PC. This thesis uses the SRC-6 to characterize data for functions with 4, 5 and 6 variables. The data compiled showed trends based on the order, homogeneity, balance, and symmetry of Boolean functions. The transeunt triangle is used to convert a Boolean function into Algebraic Normal Form, so that the properties are easily determined. The first known proof that the transeunt triangle correctly converts between the two Boolean functions' representations is included. The SRC-6, while capable of pipelining code so that it runs up to six thousand times faster than a PC, is limited by the speed of the FPGA, 100 MHz. Functions with up to six variables were tested. Predictions on this data, as well as ways to improve the computing capability of the SRC-6, are included.
Collections
Related items
Showing items related by title, author, creator and subject.
-
Correlation immunity, avalanche features, and other cryptographic properties of generalized Boolean functions
Martinsen, Thor (Monterey, California: Naval Postgraduate School, 2017-09);This dissertation investigates correlation immunity, avalanche features, and the bent cryptographic properties for generalized Boolean functions defined on Vn with values in Zԛ. We extend the concept of correlation immunity ... -
Affine equivalence and constructions of cryptographically strong Boolean functions
Chung, Jong Ho (Monterey, California: Naval Postgraduate School, 2013-09);In this thesis, we study a type of affine equivalence for the monomial rotation-symmetric (MRS) Boolean func-tions and two new construction techniques for cryptographic Boolean functions based on the affine equivalence of ... -
Computing the Algebraic Immunity of Boolean Functions on the SRC-6 Reconfigurable Computer
McCay, Matthew Eric (Monterey, California. Naval Postgraduate School, 2012-03);Boolean functions with high algebraic immunity (AI) are vital in reducing the possibility of utilizing algebraic attacks to break an encryption system. Simple algorithms exist to compute the AI of a given n-variable Boolean ...