Luis Burbano is a Ph.D. student in the Department of Computer Science and Engineering at the University of California, Santa Cruz. He received a bachelor's and master's in electronics engineering from Universidad de los Andes, Colombia, in 2017 and 2019. He is interested in the security of cyber-physical systems.
Researchers have continuously integrated new technologies into cyber-physical systems (CPS) to increase their capabilities. With new algorithms, CPS can gather more information from diverse sources, such as new sensors or communication networks. Unfortunately, these new technologies increase the CPS attack surface, expanding the potential vulnerabilities that attackers can exploit to compromise the system's safety. Consequently, as CPSs gain new capabilities, we require new techniques that prevent, detect, and respond to attacks. As a Ph.D. student, my research focuses on these three aspects. I combine control theory techniques, such as reachability analysis, with formal computer science methods to understand the effects of attacks against CPS and synthesize defense mechanisms with provable security guarantees.