Hyungsub Kim

I am a system security researcher. I develop program analysis and formal method techniques to tackle security threats in systems. My research is best represented by my extensive work on robotic vehicles (RVs). I have worked on automatically finding logic bugs, patching them, and verifying the patches in RV control software. In addition, I have uncovered the root causes and formulating countermeasures against physical sensor attacks that target RVs. Currently, my efforts are dedicated to developing formal methods to address cyber and physical attacks against various cyber-physical systems, including vehicles, satellites, implantable medical devices, and industrial control systems.

• Doctor of Philosophy in Computer Science at Purdue University, 2023
• Master of Science in Computer Science and Engineering at Pohang University of Science and Technology, 2015
• Bachelor of Science in Computer Science at University of Seoul, 2013

• Cyber-physical Systems
• Security and Privacy
• Security and Privacy@Luddy

By appointment 

• CSCI-B 433 - Systems and Protocol Security and Information Assurance
• CSCI-B 544 - Security for Networked Systems
• CSCI-B 547 - Systems and Protocol Security and Information Assurance
• CSCI-B 649 - Cyber-Physical Systems Security