R. Meneses and M. Henriques. " Scalable Batch Verification for Post-Quantum Hash-Based Signatures Using STARKs", in Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity, Foz do IguaƧu/PR, 2025, pp. 325-330, doi: https://doi.org/10.5753/sbseg_estendido.2025.11845.