Meneses, Rodrigo, and Marco Amaral Henriques.
" Scalable Batch Verification for Post-Quantum Hash-Based Signatures Using STARKs." <em>Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity,
Foz do Iguaçu/PR, 2025</em>. SBC, 2025,  
pp.325-330.