Formal verification of a cryptographic protocol in Cooperative Intelligent Transport Systems communications
Francesco Galazzo
Formal verification of a cryptographic protocol in Cooperative Intelligent Transport Systems communications.
Rel. Riccardo Sisto, Simone Bussa, Fulvio Valenza. Politecnico di Torino, Master of science program in Computer Engineering, 2024
