On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver

Da Lin, Chunli Yang, Shengyuan Xu, Shizhu Tian, Bing Sun. On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver. IACR Cryptology ePrint Archive, 2024:565, 2024. [doi]

Abstract

Abstract is missing.