CVAnalyzer: Automated Discovery of Denial-of-Service Vulnerabilities in Connected Vehicle Protocols
(Usenix Security'21)