Novel Optimized Implementations of Lightweight Cryptographic S-Boxes via SAT Solvers

Jingya Feng, Yongzhuang Wei, Fengrong Zhang, Enes Pasalic, Yu Zhou. Novel Optimized Implementations of Lightweight Cryptographic S-Boxes via SAT Solvers. IEEE Trans. Circuits Syst. I Regul. Pap., 71(1):334-347, January 2024. [doi]

@article{FengWZPZ24,
  title = {Novel Optimized Implementations of Lightweight Cryptographic S-Boxes via SAT Solvers},
  author = {Jingya Feng and Yongzhuang Wei and Fengrong Zhang and Enes Pasalic and Yu Zhou},
  year = {2024},
  month = {January},
  doi = {10.1109/TCSI.2023.3325559},
  url = {https://doi.org/10.1109/TCSI.2023.3325559},
  researchr = {https://researchr.org/publication/FengWZPZ24},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Circuits Syst. I Regul. Pap.},
  volume = {71},
  number = {1},
  pages = {334-347},
}