A Symbolic Analysis of Hash Functions Vulnerabilities in Maude-NPA. - Arturo Hernández-Sánchez; Santiago Escobar 001 (ESORICS (2), 2025)