山东大学教师主页 Guo Chun Yuchao Chen, Chun Guo, MuZhou Li, Shuo Peng, Hao Lei, Guang Zeng, Meiqin Wang. Computer-Aided Proof for Extended Generalized Feistel Networks Home

Return Home

Paper Publications

Yuchao Chen, Chun Guo, MuZhou Li, Shuo Peng, Hao Lei, Guang Zeng, Meiqin Wang. Computer-Aided Proof for Extended Generalized Feistel Networks

Release Time:2026-03-17

Journal:

IACR Transactions on Symmetric Cryptology (FSE 2026)
Indexed by:

Journal paper
Translation or Not:

No

Prev One:Chun Guo, Jian Guo, Xinnian Li, and Wenjie Nan. Upper Bound on Information-Theoretic Security of Permutation-Based Pseudorandom Functions

Next One:Chun Guo, Mustafa Khairallah, Kazuhiko Minematsu. Better Usability: Leakage-Resistant AEADs from Single-length key Blockciphers

Copyright All Rights Reserved Shandong University Address: No. 27 Shanda South Road, Jinan City, Shandong Province, China: 250100
Information desk: (86) - 0531-88395114
On Duty Telephone: (86) - 0531-88364731 Construction and Maintenance: Information Work Office of Shandong University