E. Amaral, L. Horstmann, and A. Fröhlich.
" Secure Authentication Protocol Implementation for V2X Communication: a Simulation Study-Case", in <em>Anais do II Workshop Latinoamericano de Dependabilidade e Segurança em Sistemas Veiculares</em>, Campinas/SP, 2025, pp. 9-12.