Modern intelligent and networked vehicles are increasingly equipped with electronic control
units (ECUs) with increased computing power. These electronic devices form an in-vehicle …

Traditional mechanical parts have been increasingly replaced by in-vehicle electronic
control units (ECUs) that communicate via control area networks (CAN). For security …

In this dissertation we present the design, implementation, and study theefficacy of three
interrelated techniques for debugging memory safety errors inmodern memory management …