Meneses, Rodrigo, AND 		Henriques, Marco.
" Scalable Batch Verification for Post-Quantum Hash-Based Signatures Using STARKs" <em>Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (1 September 2025)