Optimizing the AES S-Box using SAT

  title={Optimizing the AES S-Box using SAT},
  author={Carsten Fuhs and Peter Schneider-Kamp},
In this paper we describe the implementation of a technique for minimizing XOR circuits used in cryptographic algorithms. More precisely, we present our work from [4] for encoding this synthesis problem to SAT with a focus on the case study of optimizing an important component of the Advanced Encryption Standard (AES) [8]. In addition to these previously… CONTINUE READING