Provable Post-Quantum Security of the 3-Round Substitution-Permutation Network
Substitution-Permutation Networks (SPNs) constitute a major design paradigm for block ciphers. While the provable security of generic SPNs has been studied in the classical setting, their security against quantum adversaries remains largely unexplored. In this work, we provide the first provable security result for a...