On Boolean Functions in Symmetric-Key Ciphers

Enes Pasalic

Research output: ThesisDoctoral Thesis (monograph)

Abstract

This thesis discusses new results on the design and the existence of cryptographically strong Boolean functions used in the design of stream and block ciphers. By interlinking theoretical results and computer search some open problems have been solved, that is, we have shown the existence of previously unknown classes of functions. Furthermore, several general construction methods are exhibited and in particular a new method that extends a theoretical framework for recursive construction of cryptographically strong resilient functions is proposed. The functions obtained through this method are either optimized or suboptimized depending on the properties of input function. An important theoretical contribution discussed in the thesis is a general result regarding the degree optimization of 1-resilient functions. A construction of suboptimized functions is further discussed in a generalized manner, and several results in this direction are provided. The possibilities of using integer programming and a sophisticated computer search in finding Boolean functions with good cryptographic properties are also discussed. Some alternative construction methods based on the tools borrowed from projective geometry are proposed. For instance, the possibility of using certain objects in projective space, known as conics, in construction of Boolean functions beyond the bent concatenation bound is examined. Autocorrelation properties of Boolean functions, important in the design of block ciphers, are also investigated. A new upper bound on nonlinearity and a new divisibility result on the function's derivatives for a certain class of Boolean functions are established. Finally, two new constructions of highly nonlinear resilient vector output Boolean functions are proposed. This class of function is suitable in the design of stream ciphers which do not operate on a bit level. Actually, the nonlinearity achieved through these construction is the best known for almost all input instances.
Original languageEnglish
QualificationDoctor
Awarding Institution
  • Department of Electrical and Information Technology
Supervisors/Advisors
  • [unknown], [unknown], Supervisor, External person
Award date2003 Feb 28
Publisher
Print ISBNs91-7167-027-0
Publication statusPublished - 2003

Bibliographical note

Defence details

Date: 2003-02-28
Time: 10:15
Place: E:1406, E-huset, LTH

External reviewer(s)

Name: Carlet, Claude
Title: Prof
Affiliation: Frankrike

---

Subject classification (UKÄ)

  • Electrical Engineering, Electronic Engineering, Information Engineering

Keywords

  • autocorrelation properties
  • correlation attacks
  • nonlinearity
  • resiliency
  • Boolean function
  • Stream ciphers
  • block ciphers
  • Informatics
  • systems theory
  • Informatik
  • systemteori

Fingerprint

Dive into the research topics of 'On Boolean Functions in Symmetric-Key Ciphers'. Together they form a unique fingerprint.

Cite this