Home Recent News Publications Research Group Teaching Awards Service Useful Resource


Hyungsub Kim

Hyungsub Kim (김형섭)


Luddy Hall 2046
700 N. Woodlawn Avenue
Bloomington, IN 47408

[Robotic Vehicle Software Tutorial]
[Papers Related to Cyber-physical System]

 About Me

Hello, I am an assistant professor in Department of Computer Science at Indiana University Bloomington. Previously, I earned my Ph.D. from Purdue University in December 2023, where I was co-advised by Prof. Dongyan Xu, Prof. Antonio Bianchi, and Prof. Z. Berkay Celik. Before joining the Ph.D. program I was a researcher at Agency for Defense Development.

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 was working on automatically finding logic bugs, patching them, and verifying the patches in RV control software. In addition, I was uncovering 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 satellites, autonomous vehicles, and industrial control systems.

If you are interested in a PhD position in my lab, please first submit your application to Indiana University and then email me [Link].

(info This website doesn't track any visitors, which means that you don't need to worry about disclosing your identity.)

 Recent News

 Education

 Full-time Work Experience

 Publications

Conference

Short Paper

Workshop/Demo/Poster Papers

Dissertation/Thesis

Interdisciplinary Work

 Student Mentoring

At Indiana University

  • PhD

  • Master
  • Undergraduate
  • Research Intern

    • At Purdue University

  • PhD
  • Master
  • Undergraduate

    •  Teaching

  • Lecturer
  • Guest Lecturer
  • Teaching Assistant (TA)

     Talks

     Fellowships, Awards, and Honors

  • Best Poster Award, Midwest Security Workshop (MSW) 2025 (link, poster).
  • Distinguished Reviewer Award, ISOC Network and Distributed System Security Symposium (NDSS) 2025 (link).
  • Outstanding Reviewer Award, ISOC Symposium on Vehicle Security and Privacy (VehicleSec) 2024.
  • Noteworthy Reviewer, International Symposium on Research in Attacks, Intrusions and Defenses (RAID) 2023 (link).
  • CPS Rising Stars, CPS-VO@National Science Foundation, 2023 (link).
  • Outstanding Reviewer Award, ISOC Symposium on Vehicle Security and Privacy (VehicleSec) 2023.
  • IEEE S&P Student Travel Grant (US$1,300), San Francisco, California, USA, May, 2022.
  • CCS Student Conference Grant, Virtual Conference, November, 2021.
  • Ross Fellowship, Purdue University Graduate School, 2018.
  • ACSAC Student Conferenceship Award (US$1,200), New Orleans, Louisiana, USA, December, 2014.
  • Best Student Presentation Award, POSTECH CSE Student Workshop, 2014.
  • Semester High Honors, 2011 and 2012 2nd semester, University of Seoul.
  • Semester High Honors, 2007 2nd semester, Chonnam National University.
  • Ministry of Commerce, Industry and Energy grand prize (US$2,600), high school competitions in the field of computer science, 2004.

    •  Professional Services

  • Organizing Committee
  • Program Committee
  • Artifact Evaluation Committee (AEC)
  • Journal Reviewer
  • External Reviewer
  • Session Chair
  • Volunteering participating in the international World Wide Web Conference 2014, April, 7-11, Seoul, Korea.

    • University Services

  • Services for College
  • Services for Department

    •  Reported Vulnerabilities/bugs

  • 115 bugs in ArduPilot and PX4, discoverd by PatchVerif, 2023. (link)
  • 207 bugs in ArduPilot, PX4, and Paparazzi, discoverd by PGFuzz, 2021. (link)
  • ArduPilot Bug #8783: NULL pointer dereference in libraries/AP_RangeFinder/AP_RangeFinder_BBB_PRU.cpp, July, 2018. (link)
  • ArduPilot Bug #8644: Memory leak in libraries/AP_HAL_ChibiOS/hwdef/common/posix.c, June, 2018. (link)
  • ArduPilot Bug #8642: Memory leak in libraries/AP_HAL_Linux/benchmarks/benchmark_videoin.cpp, June, 2018. (link)
  • ArduPilot Bug #8641: NULL pointer dereference in libraries/AP_HAL_F4Light/hardware/hal/timer.c, June, 2018. (link)
  • ArduPilot Bug #8640: Resource leak in libraries/AP_HAL/utility/srxl.cpp, June, 2018. (link)

    •  Useful Resource

  • One of the biggest beautiful things of computer science is that you can freely find open educational resources on the Internet.

  • Cyber-physical System (CPS)
  • Robotics
  • Physical Sensor Attacks
  • Compiler/Program Analysis
  • Exploiting Vulnerabilities
  • Formal Method
  • Sources of Advice
  • Conference
  • Research Statement
  • PhD Defense
  • Academic Interviews
  • Postdoc
  • Research Grant & Funding

    •  Personal

  • The places I have visited: China (Beijing and Shanghai), Japan (Tokyo and Fukuoka), Canada (Vancouver), the U.S. (New Orleans, Orlando, Denver, Seattle, Los Angeles, Las Vegas, Kansas City, Chicago, Indianapolis, Bloomington, New York, Louisville, San Diego, San Francisco, Washington DC, Ann Arbor, Anaheim, Irvine, Atlanta, Urbana–Champaign, St. Louis, Gainesville, Santa Barbara, and Newark), UAE (Abu Dhabi), Germany (Saarbrücken)
  • (The cities in each country are listed in the order I visited)

  • The universities I have visited: China (Peking University, Tsinghua University, and Fudan University), Japan (Tokyo Institute of Technology), the U.S. (University of Washington, University of Chicago, University of Illinois Chicago, Indiana University, Georgetown University, University of Michigan, Georgia Institute of Technology, University of Illinois Urbana-Champaign, Washington University in St. Louis, University of Florida, UC Santa Barbara, and NJIT), UAE (New York University Abu Dhabi), Germany (Saarland University)
  • (The universities in each country are listed in the order I visited)
  • Last updated: October 1, 2025