Rodrigo Meneses and Marco Henriques. 2025. Scalable Batch Verification for Post-Quantum Hash-Based Signatures Using STARKs. In Anais Estendidos do XXV Simpósio Brasileiro de Cibersegurança, setembro 01, 2025, Foz do Iguaçu/PR, Brasil. SBC, Porto Alegre, Brasil, 325-330. DOI: https://doi.org/10.5753/sbseg_estendido.2025.11845.