LeiA: A Lightweight Authentication Protocol for CAN
On the security of public key protocols