@phdthesis{oai:nagoya.repo.nii.ac.jp:02000609, author = {細山田, 光倫 and HOSOYAMADA, Akinori}, month = {Sep}, school = {名古屋大学, Nagoya University}, title = {Post-Quantum Provable Security in Symmetric-Key Cryptography}, year = {2021} }