General Information
Details
My teaching and research are driven by the goal of building trustworthy, high-performance computing systems by deeply understanding—and rigorously stress-testing—their foundations. In teaching, I focus on helping students develop first-principles thinking about systems and security through hands-on, research-driven courses that emphasize real code, real attacks, and real defenses, empowering students to move fluidly between theory and practice while cultivating independence and intellectual curiosity. In research, I lead efforts at the intersection of systems, security, and AI, developing scalable techniques for finding, understanding, and eliminating vulnerabilities in complex software and hardware stacks, from operating systems and compilers to trusted execution environments and large-scale AI-assisted security automation. Across both teaching and research, I aim to train students to ask hard questions about system assumptions, design solutions that work at scale, and translate fundamental insights into tools and techniques with real-world impact.
Information Security Lab: Binary Exploitation (CS 6365)
Exploiting Smart Contracts and DeFi (CS 8803)
Design Operating Systems (CS 3210 A)
Recent publication (five):
- Detecting Inconsistencies in ARM CCA's Formally Verified Specification (to appear).
Changho Choi, Xiang Cheng, Bokdeuk Jeong, and Taesoo Kim.
In Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2026),
Pittsburgh, USA, March, 2026. - Agentic Specification Generator for Move Programs. [ paper | slides ]
Yu-Fu Fu, Meng Xu and Taesoo Kim.
In Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Seoul, Korea, Nov 2025. - ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System. [ paper | code ]
Taesoo Kim, HyungSeok Han, Soyeon Park, Dae R. Jeong, Dohyeok Kim, Dongkwan Kim, Eunsoo Kim, Jiho Kim, Joshua Wang, Kangsu Kim, Sangwoo Ji, Woosun Song, Hanqing Zhao, Andrew Chin, Gyejin Lee, Kevin Stevens, Mansour Alharthi, Yizhuo Zhai, Cen Zhang, Joonun Jang, Yeongjin Jang, Ammar Askar, Dongju Kim, Fabian Fleischer, Jeongin Cho, Junsik Kim, Kyungjoon Ko, Insu Yun, Sangdon Park, Dowoo Baik, Haein Lee, Hyeon Heo, Minjae Gwon, Minjae Lee, Minwoo Baek, Seunggi Min, Wonyoung Kim, Yonghwi Jin, Younggi Park, Yunjae Choi, Jinho Jung, Gwanhyun Lee, Junyoung Jang, Kyuheon Kim, Yeonghyeon Cha and Youngjoon Kim.
Arxiv,
Oct 2025. - Principles and Methodologies for Serial Performance Optimization. [ paper | slides | code ]
Sujin Park, Mingyu Guan, Xiang Cheng, and Taesoo Kim.
In Proceedings of the 19th Symposium on Operating Systems Design and Implementation (OSDI 2025),
Boston, MA, July 2025. - PORTAL: Fast and Secure Device Access with Arm CCA for Modern Arm Mobile System-on-Chips (SoCs). [ paper | slides | code ]
Fan Sang, Jaehyuk Lee, Xiaokuan Zhang, and Taesoo Kim.
In Proceedings of the 46th IEEE Symposium on Security and Privacy (S&P 2025),
San Francisco, CA, May 2025.
Award:
DARPA AI Cyber Challenge (AIxCC) Winner, $4.0M Prize (2025)
DARPA AIxCC Finalist (Team Atlanta), $2.0M (2024)
NSF CAREER Award (2018)
VMware Early Career Faculty Award (2018)
Google Research Award (2019)
Mozilla Research Award, $60K (2017)
Microsoft Azure Research Award, $20K (2016)
Internet Defense Prize, $100K (2015)
Samsung Scholarship, $250K (2009–2014)
Korea Presidential Science Scholarship (2003–2008)
Best / Distinguished Paper & Research Awards
Best Paper Award, QSYM (2023)
Distinguished Paper Award, USENIX Security (2018)
Distinguished Artifact Award, SOSP (2021)
Best Student Paper Award, EuroSys (2017)