Optimizing S-box Implementations for Several Criteria using SAT Solvers

Ko Stoffelen. Optimizing S-box Implementations for Several Criteria using SAT Solvers. IACR Cryptology ePrint Archive, 2016:198, 2016. [doi]

@article{Stoffelen16,
  title = {Optimizing S-box Implementations for Several Criteria using SAT Solvers},
  author = {Ko Stoffelen},
  year = {2016},
  url = {http://eprint.iacr.org/2016/198},
  researchr = {https://researchr.org/publication/Stoffelen16},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2016},
  pages = {198},
}