An Automated Synthesis Framework for Benchmarking Quantum Resource Costs of Symmetric-Key Cryptography. - Choi, Chanho; Oh, Jinseob; Lee, SangMan; Cho, Geumhwan; Choi, Dooho (Mathematics (2227-7390), 2026)