CNF Characterization of Sets over ℤ2n and Its Applications in Cryptography. - Hu Xiaobo; Shengyuan Xu; Yinzi Tu; Xiutao Feng (IACR Cryptol. ePrint Arch., 2023)