Simone Bussa, Riccardo Sisto, Fulvio Valenza (2023) Formal Verification of a V2X Privacy Preserving Scheme Using Proverif, In: Proceedings of the 2023 IEEE International Conference on Cyber Security and Resilience (CSR), pp. 341-346, ISBN: 979-8-3503-1170-9
