Linked Presentation: Automated Discovery of Denial-of-Service Vulnerabilities in Connected Vehicle Protocols
