34 citations · 40 across the 4 of their papers we have counts for
4 papers
Charge It to My Neighbor: A Relay Attack on ISO 15118 Plug and Charge Payment
Jakob Löw, Vishwa Vasu, Thomas Hutzelmann +1
ISO 15118, the leading standard for DC fast charging in Europe, includes a plug-and-charge mechanism that allows electric vehicles to handle payment automatically via contract cert…
A Real-Time Remote IDS Testbed for Connected Vehicles
Valentin Zieglmeier, Severin Kacianka, Thomas Hutzelmann +1
Connected vehicles are becoming commonplace. A constant connection between vehicles and a central server enables new features and services. This added connectivity raises the likel…
Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing
Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann +2
Automatic test-case generation techniques of symbolic execution and fuzzing are the most widely used methods to discover vulnerabilities in, both, academia and industry. However, b…
Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach
Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida +1
Fuzzing and symbolic execution are popular techniques for finding vulnerabilities and generating test-cases for programs. Fuzzing, a blackbox method that mutates seed input values,…