Computer-Aided Proof for Extended Generalized Feistel Networks

Yuchao Chen, Chun Guo, Muzhou Li, Shuo Peng, Hao Lei, Guang Zeng, Meiqin Wang. Computer-Aided Proof for Extended Generalized Feistel Networks. IACR Trans. Symmetric Cryptol., 2026(1):345-375, 2026. [doi]

Abstract

Abstract is missing.