Meneses, Rodrigo, and Marco Amaral Henriques. " Scalable Batch Verification for Post-Quantum Hash-Based Signatures Using STARKs." Anais Estendidos do XXV Simpósio Brasileiro de Cibersegurança, Foz do Iguaçu/PR, 2025. SBC, 2025, pp.325-330.