Formal Analysis of C-ITS PKI Protocols.

Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud

Browse the full SECRYPT paper archive.