prošireni sažetak izlaganja sa skupa
Experimental Enumeration of Bent Functions with Binary Decision Diagrams
Sažetak
Since their introduction by Rothaus in 1976, bent functions played an important role in the security of cryptographic systems. As functions which have a maximum Hamming distance from the set of affine functions, they are extensively used to achieve nonlinearity of S-boxes for block and stream ciphers. While the theory behind bent functions is substantially developed, their enumeration is difficult even for a small number of variables (listed for n ≤ 6). Bent functions are rare and they are found by sieving on a large number of prospective Boolean functions or constructed by various methods, such as the iterative Maiorana- McFarland method. This work observes the use of the novel sieving technique based on the Binary Decision Diagram (BDD) representation of Boolean functions.
Ključne riječi
Bent functions; Binary Decision Diagrams; Cryptography