The Dangerous Message/Key Swap in HMAC. - Antoine Wurcker; David Marçais (CASCADE, 2025)