Browse > Article
http://dx.doi.org/10.13089/JKIISC.2004.14.4.49

Synthesizing a Boolean Function of an S-box with Integer Linear Programming  

송정환 (한양대학교)
구본욱 (한양대학교)
Publication Information
Journal of the Korea Institute of Information Security & Cryptology / v.14, no.4, 2004 , pp. 49-59 More about this Journal
Abstract
Boolean function synthesize problem is to find a boolean expression with in/outputs of original function. This problem can be modeled into a 0-1 integer programming. In this paper, we find a boolean expressions of S-boxes of DES for an example, whose algebraic structure has been unknown for many years. The results of this paper can be used for efficient hardware implementation of a function and cryptanalysis using algebraic structure of a block cipher.
Keywords
S-box; Boolean function;
Citations & Related Records
연도 인용수 순위
  • Reference
1 G.L.Nemhauser and L.A. Woolsey. Integer and Combinatorial Optimization. John wiley. New York. 1988
2 Robert Fourer, David M. Gay. Brian W. Kernighan. AMPL A Mmodeling Language For Mathematical Programming, Boyd and Fraser, Massachusetts,1993
3 John E. Mitchell and Mike Todd. 'Solving combinatorial optimization problems using Karmarkar's algorithm.' Mathematical Programming 56. pp. 245-284. 1992   DOI
4 NIST 'Data Encryption Standard, Federal Information Processing Standards Publication (FIPS PUB).' 46. National Bureau of Standards, Washington. DC, 1977
5 John E. Mitchell. Panos M. Pardalos and Mauricio G.C. Resende. Interior Point methods for combinatorial opti mization. Handbook of combinatorial Optimization. Kluwer Academic publishers . 1998
6 Ralph P. Grimaldi. Discrete and combinatorial mathematics an applied introduction. Addison wiley. 1989
7 M.Raghavachari. 'On connections between zero-one integer programming under linear constraints,' Operations
8 Koji Kusuda, Tsutomu Matumoto Strength Evaluation of the Data Encryption Standard, Yokohama National University, October 1993
9 B,H.Faaland and F,S,Hilier ,'Interior path methods for heuristic integer programming procedures,' Operations Research 27, pp.1069-1087. 1979   DOI   ScienceOn