Optimizing the AES S-Box using SAT

@inproceedings{Fuhs2010OptimizingTA,
  title={Optimizing the AES S-Box using SAT},
  author={Carsten Fuhs and Peter Schneider-Kamp},
  booktitle={IWIL@LPAR},
  year={2010}
}
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