Log Your Car: The Non-invasive Vehicle Forensics
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols