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. Currently, my efforts are dedicated to uncovering the root causes and formulating countermeasures against physical sensor attacks that target RVs.

I’m looking for highly motivated and ambitious students. If you are interested in working with me, please fill out this form.

(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 Papers

Dissertation/Thesis

Interdisciplinary Work


 Student Mentoring

At Indiana University

  • Master
  • Undergraduate
  • At Purdue University

  • PhD
  • Master
  • Undergraduate

  •  Teaching

  • Lecturer
  • Guest Lecturer
  • Teaching Assistant (TA)

     Talks


     Fellowships, Awards, and Honors

  • 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 13, 2024