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]
Abstract is missing.