| 2026 | ASPLOS | Detecting Inconsistencies in Arm CCA's Formally Verified Specification. | Changho Choi, Xiang Cheng, Bokdeuk Jeong, Taesoo Kim |
| 2026 | CHI | "I just have faith in my wallet to not mismanage my crypto": Investigating Changes in Users' Security Perceptions Post-FTX Collapse. | Mingyi Liu, Nivedita Singh, Jun Ho Huh, Hyoungshick Kim, Taesoo Kim |
| 2026 | DSN | Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning. | Xiang Cheng, Sangdon Park, HyungSeok Han, Xiaokuan Zhang, Taesoo Kim |
| 2026 | SP | Contextualizing Sink Knowledge for Java Vulnerability Discovery. | Fabian Fleischer, Cen Zhang, Joonun Jang, Jeongin Cho, Meng Xu, Taesoo Kim |
| 2025 | AAAI | Heterogeneous Graph Neural Network on Semantic Tree. | Mingyu Guan, Jack W. Stokes, Qinlong Luo, Fuchen Liu, Purvanshi Mehta, Elnaz Nouri, Taesoo Kim |
| 2025 | DSN | SoundBoost: Effective RCA and Attack Detection for UAV via Acoustic Side-Channel. | Haoran Wang, Zheng Yang, Sangdon Park, Yibin Yang, Seulbae Kim, Willian T. Lunardi, Martin Andreoni, Taesoo Kim, Wenke Lee |
| 2025 | EuroSys | Rakis: Secure Fast I/O Primitives Across Trust Boundaries on Intel SGX. | Mansour Alharthi, Fan Sang, Dmitrii Kuvaiskii, Mona Vij, Taesoo Kim |
| 2025 | ICML | Do Not Mimic My Voice : Speaker Identity Unlearning for Zero-Shot Text-to-Speech. | Taesoo Kim, Jinju Kim, Dongchan Kim, Jong Hwan Ko, Gyeong-Moon Park |
| 2025 | Interspeech | Towards Human-like Multimodal Conversational Agent by Generating Engaging Speech. | Taesoo Kim, Yongsik Jo, Hyunmin Song, Taehwan Kim |
| 2025 | ICSE | Rug: Turbo Llm for Rust Unit Test Generation. | Xiang Cheng, Fan Sang, Yizhuo Zhai, Xiaokuan Zhang, Taesoo Kim |
| 2025 | MICCAI | SPEC-CXR: Advancing Clinical Safety Through Entity-Level Performance Evaluation of Chest X-ray Report Generation. | Jung Oh Lee, Junwoo Cho, Junha Kim, Laurent Dillard, Tom van Sonsbeek, Arnaud A. A. Setio, Hyeonsoo Lee, Donggeun Yoo, Taesoo Kim |
| 2025 | MICCAI | Beyond One Size Fits All: Customization of Radiology Report Generation Methods. | Tom van Sonsbeek, Arnaud A. A. Setio, Jung Oh Lee, Junwoo Cho, Junha Kim, Hyeonsoo Lee, Gunhee Nam, Laurent Dillard, Taesoo Kim |
| 2025 | NDSS | Statically Discover Cross-Entry Use-After-Free Vulnerabilities in the Linux Kernel. | Hang Zhang, Jangha Kim, Chuhong Yuan, Zhiyun Qian, Taesoo Kim |
| 2025 | NDSS | MALintent: Coverage Guided Intent Fuzzing Framework for Android. | Ammar Askar, Fabian Fleischer, Christopher Kruegel, Giovanni Vigna, Taesoo Kim |
| 2025 | OSDI | Principles and Methodologies for Serial Performance Optimization. | Sujin Park, Mingyu Guan, Xiang Cheng, Taesoo Kim |
| 2025 | SP | Tiktag: Breaking ARM's Memory Tagging Extension with Speculative Execution. | Juhee Kim, Jinbum Park, Sihyeon Roh, Jaeyoung Chung, Youngjoo Lee, Taesoo Kim, Byoungyoung Lee |
| 2025 | SP | Portal: Fast and Secure Device Access with Arm CCA for Modern Arm Mobile System-on-Chips (SoCs). | Fan Sang, Jaehyuk Lee, Xiaokuan Zhang, Taesoo Kim |
| 2024 | CCS | PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux. | Juhee Kim, Jinbum Park, Yoochan Lee, Chengyu Song, Taesoo Kim, Byoungyoung Lee |
| 2024 | NDSS | SENSE: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification. | Fan Sang, Jaehyuk Lee, Xiaokuan Zhang, Meng Xu, Scott Constable, Yuan Xiao, Michael Steiner, Mona Vij, Taesoo Kim |
| 2024 | RAID | BluePrint: Automatic Malware Signature Generation for Internet Scanning. | Kevin Stevens, Mert Erdemir, Hang Zhang, Taesoo Kim, Paul Pearce |
| 2023 | MICCAI | Enhancing Breast Cancer Risk Prediction by Incorporating Prior Images. | Hyeonsoo Lee, Junha Kim, Eunkyung Park, Minjeong Kim, Taesoo Kim, Thijs Kooi |
| 2023 | SP | Pyfet: Forensically Equivalent Transformation for Python Binary Decompilation. | Ali Ahad, Chijung Jung, Ammar Askar, Doowon Kim, Taesoo Kim, Yonghwi Kwon |
| 2023 | SP | UTopia: Automatic Generation of Fuzz Driver using Unit Tests. | Bokdeuk Jeong, Joonun Jang, Hayoon Yi, Jiin Moon, Junsik Kim, Intae Jeon, Taesoo Kim, WooChul Shim, Yong Ho Hwang |
| 2022 | ACSAC | POPKORN: Popping Windows Kernel Drivers At Scale. | Rajat Gupta, Lukas Patrick Dresel, Noah Spahn, Giovanni Vigna, Christopher Kruegel, Taesoo Kim |
| 2022 | ICASSP | ADA-VAD: Unpaired Adversarial Domain Adaptation for Noise-Robust Voice Activity Detection. | Taesoo Kim, Jiho Chang, Jong Hwan Ko |
| 2022 | MICCAI | OOOE: Only-One-Object-Exists Assumption to Find Very Small Objects in Chest Radiographs. | Gunhee Nam, Taesoo Kim, Sanghyup Lee, Thijs Kooi |
| 2022 | OSDI | Application-Informed Kernel Synchronization Primitives. | Sujin Park, Diyu Zhou, Yuchen Qian, Irina Calciu, Taesoo Kim, Sanidhya Kashyap |
| 2022 | RAID | Fuzzing@Home: Distributed Fuzzing on Untrusted Heterogeneous Clients. | Daehee Jang, Ammar Askar, Insu Yun, Stephen Tong, Yiqin Cai, Taesoo Kim |
| 2022 | USENIX | Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. | Beom Heyn Kim, Taesoo Kim, David Lie |
| 2022 | USENIX | PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis. | Fan Sang, Ming-Wei Shih, Sangho Lee, Xiaokuan Zhang, Michael Steiner, Mona Vij, Taesoo Kim |
| 2021 | ACSAC | A Look Back on a Function Identification Problem. | Hyungjoon Koo, Soyeon Park, Taesoo Kim |
| 2021 | CCS | Hardware Support to Improve Fuzzing Performance and Precision. | Ren Ding, Yonghae Kim, Fan Sang, Wen Xu, Gururaj Saileshwar, Taesoo Kim |
| 2021 | CCS | Are we done yet? Our Journey to Fight against Memory-safety Bugs. | Taesoo Kim |
| 2021 | CCS | HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators. | Insu Yun, Woosun Song, Seunggi Min, Taesoo Kim |
| 2021 | HotOS | Contextual concurrency control. | Sujin Park, Irina Calciu, Taesoo Kim, Sanidhya Kashyap |
| 2021 | NDSS | WINNIE : Fuzzing Windows Applications with Harness Synthesis and Fast Cloning. | Jinho Jung, Stephen Tong, Hong Hu, Jungwon Lim, Yonghwi Jin, Taesoo Kim |
| 2021 | OSDI | Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing. | Youngseok Yang, Taesoo Kim, Byung-Gon Chun |
| 2021 | SOSP | Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale. | Yechan Bae, Youngsuk Kim, Ammar Askar, Jungwon Lim, Taesoo Kim |
| 2020 | CCS | FREEDOM: Engineering a State-of-the-Art DOM Fuzzer. | Wen Xu, Soyeon Park, Taesoo Kim |
| 2020 | CCS | Slimium: Debloating the Chromium Browser with Feature Subsetting. | Chenxiong Qian, Hyungjoon Koo, ChangSeok Oh, Taesoo Kim, Wenke Lee |
| 2020 | NDSS | DESENSITIZATION: Privacy-Aware and Attack-Preserving Crash Report. | Ren Ding, Hong Hu, Wen Xu, Taesoo Kim |
| 2020 | SP | Fuzzing JavaScript Engines with Aspect-preserving Mutation. | Soyeon Park, Wen Xu, Insu Yun, Daehee Jang, Taesoo Kim |
| 2020 | SP | Krace: Data Race Fuzzing for Kernel File Systems. | Meng Xu, Sanidhya Kashyap, Hanqing Zhao, Taesoo Kim |
| 2019 | SP | Fuzzing File Systems via Two-Dimensional Input Space Exploration. | Wen Xu, Hyungon Moon, Sanidhya Kashyap, Po-Ning Tseng, Taesoo Kim |
| 2019 | USENIX | libmpk: Software Abstraction for Intel Memory Protection Keys (Intel MPK). | Soyeon Park, Sangho Lee, Wen Xu, Hyungon Moon, Taesoo Kim |
| 2019 | SOSP | Toward scaling hardware security module for emerging cloud services. | Juhyeng Han, Seong-Min Kim, Taesoo Kim, Dongsu Han |
| 2019 | SOSP | SplitFS: reducing software overhead in file systems for persistent memory. | Rohan Kadekodi, Se Kwon Lee, Sanidhya Kashyap, Taesoo Kim, Aasheesh Kolli, Vijay Chidambaram |
| 2019 | SOSP | Scalable and practical locking with shuffling. | Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, Taesoo Kim |
| 2019 | SOSP | Finding semantic bugs in file systems with an extensible fuzzing framework. | Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, Taesoo Kim |
| 2019 | SOSP | Recipe: converting concurrent DRAM indexes to persistent-memory indexes. | Se Kwon Lee, Jayashree Mohan, Sanidhya Kashyap, Taesoo Kim, Vijay Chidambaram |
| 2018 | ASPLOS | LATR: Lazy Translation Coherence. | Mohan Kumar, Steffen Maass, Sanidhya Kashyap, Jn Vesel, Zi Yan, Taesoo Kim, Abhishek Bhattacharjee, Tushar Krishna |
| 2018 | CCS | Enforcing Unique Code Target Property for Control-Flow Integrity. | Hong Hu, Chenxiong Qian, Carter Yagemann, Simon Pak Ho Chung, William R. Harris, Taesoo Kim, Wenke Lee |
| 2018 | EuroSys | A scalable ordering primitive for multicore machines. | Sanidhya Kashyap, Changwoo Min, Kangnyeon Kim, Taesoo Kim |
| 2018 | EuroSys | Solros: a data-centric operating system architecture for heterogeneous computing. | Changwoo Min, Woon-Hak Kang, Mohan Kumar, Sanidhya Kashyap, Steffen Maass, Heeseung Jo, Taesoo Kim |
| 2018 | Middleware | mKPAC: Kernel Packet Processing for Manycore Systems. | Ramneek, Mohan Kumar, Taesoo Kim, Sungin Jung |
| 2018 | SP | Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels. | Meng Xu, Chenxiong Qian, Kangjie Lu, Michael Backes, Taesoo Kim |
| 2018 | USENIX | Scaling Guest OS Critical Sections with eCS. | Sanidhya Kashyap, Changwoo Min, Taesoo Kim |
| 2017 | CCS | Identifying Open-Source License Violation and 1-day Security Risk at Large Scale. | Ruian Duan, Ashish Bijlani, Meng Xu, Taesoo Kim, Wenke Lee |
| 2017 | CCS | RAIN: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking. | Yang Ji, Sangho Lee, Evan Downing, Weiren Wang, Mattia Fazzini, Taesoo Kim, Alessandro Orso, Wenke Lee |
| 2017 | CCS | CCS'17 Tutorial Abstract / SGX Security and Privacy. | Taesoo Kim, Zhiqiang Lin, Chia-Che Tsai |
| 2017 | CCS | FEAST 2017: The Second Workshop on Forming an Ecosystem Around Software Transformation. | Taesoo Kim, Dinghao Wu |
| 2017 | CCS | Designing New Operating Primitives to Improve Fuzzing Performance. | Wen Xu, Sanidhya Kashyap, Changwoo Min, Taesoo Kim |
| 2017 | EuroSys | Mosaic: Processing a Trillion-Edge Graph on a Single Machine. | Steffen Maass, Changwoo Min, Sanidhya Kashyap, Woon-Hak Kang, Mohan Kumar, Taesoo Kim |
| 2017 | NDSS | SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs. | Jaebaek Seo, Byoungyoung Lee, Seong-Min Kim, Ming-Wei Shih, Insik Shin, Dongsu Han, Taesoo Kim |
| 2017 | NDSS | T-SGX: Eradicating Controlled-Channel Attacks Against Enclave Programs. | Ming-Wei Shih, Sangho Lee, Taesoo Kim, Marcus Peinado |
| 2017 | NSDI | Enhancing Security and Privacy of Tor's Ecosystem by Using Trusted Execution Environments. | Seong-Min Kim, Juhyeng Han, Jaehyeong Ha, Taesoo Kim, Dongsu Han |
| 2017 | USENIX | Scalable NUMA-aware Blocking Synchronization Primitives. | Sanidhya Kashyap, Changwoo Min, Taesoo Kim |
| 2017 | USENIX | CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems. | Su Yong Kim, Sangho Lee, Insu Yun, Wen Xu, Byoungyoung Lee, Youngtae Yun, Taesoo Kim |
| 2017 | USENIX | Bunshin: Compositing Security Mechanisms through Diversification. | Meng Xu, Kangjie Lu, Taesoo Kim, Wenke Lee |
| 2017 | SOSP | SGX-Bomb: Locking Down the Processor via Rowhammer Attack. | Yeongjin Jang, Jae-Hyuk Lee, Sangho Lee, Taesoo Kim |
| 2016 | CCS | Breaking Kernel Address Space Layout Randomization with Intel TSX. | Yeongjin Jang, Sangho Lee, Taesoo Kim |
| 2016 | CCS | UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages. | Kangjie Lu, Chengyu Song, Taesoo Kim, Wenke Lee |
| 2016 | NDSS | OpenSGX: An Open Platform for SGX Research. | Prerit Jain, Soham Jayesh Desai, Ming-Wei Shih, Taesoo Kim, Seong-Min Kim, Jae-Hyuk Lee, Changho Choi, Youjung Shin, Brent ByungHoon Kang, Dongsu Han |
| 2016 | NDSS | FLEXDROID: Enforcing In-App Privilege Separation in Android. | Jaebaek Seo, Daehyeok Kim, Donghyun Cho, Insik Shin, Taesoo Kim |
| 2016 | NDSS | Enforcing Kernel Security Invariants with Data Flow Integrity. | Chengyu Song, Byoungyoung Lee, Kangjie Lu, William Harris, Taesoo Kim, Wenke Lee |
| 2016 | SP | HDFI: Hardware-Assisted Data-Flow Isolation. | Chengyu Song, Hyungon Moon, Monjur Alam, Insu Yun, Byoungyoung Lee, Taesoo Kim, Wenke Lee, Yunheung Paek |
| 2016 | USENIX | Instant OS Updates via Userspace Checkpoint-and-Restart. | Sanidhya Kashyap, Changwoo Min, Byoungyoung Lee, Taesoo Kim, Pavel Emelyanov |
| 2016 | USENIX | Understanding Manycore Scalability of File Systems. | Changwoo Min, Sanidhya Kashyap, Steffen Maass, Taesoo Kim |
| 2016 | SCN | Provably-Secure Remote Memory Attestation for Heap Overflow Protection. | Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi |
| 2015 | CCS | Breaking and Fixing VoLTE: Exploiting Hidden Data Channels and Mis-implementations. | Hongil Kim, Dongkwan Kim, Minhee Kwon, HyungSeok Han, Yeongjin Jang, Dongsu Han, Taesoo Kim, Yongdae Kim |
| 2015 | CCS | ASLR-Guard: Stopping Address Space Leakage for Code Reuse Attacks. | Kangjie Lu, Chengyu Song, Byoungyoung Lee, Simon P. Chung, Taesoo Kim, Wenke Lee |
| 2015 | CCS | UCognito: Private Browsing without Tears. | Meng Xu, Yeongjin Jang, Xinyu Xing, Taesoo Kim, Wenke Lee |
| 2015 | HOTNETS | A First Step Towards Leveraging Commodity Trusted Execution Environments for Network Applications. | Seong-Min Kim, Youjung Shin, Jaehyung Ha, Taesoo Kim, Dongsu Han |
| 2015 | NDSS | Preventing Use-after-free with Dangling Pointers Nullification. | Byoungyoung Lee, Chengyu Song, Yeongjin Jang, Tielei Wang, Taesoo Kim, Long Lu, Wenke Lee |
| 2015 | USENIX | MetaSync: File Synchronization Across Multiple Untrusted Storage Services. | Seungyeop Han, Haichen Shen, Taesoo Kim, Arvind Krishnamurthy, Thomas E. Anderson, David Wetherall |
| 2015 | USENIX | Lightweight Application-Level Crash Consistency on Transactional Flash Storage. | Changwoo Min, Woon-Hak Kang, Taesoo Kim, Sang-Won Lee, Young Ik Eom |
| 2015 | SOSP | Cross-checking semantic correctness: the case of finding file system bugs. | Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, Taesoo Kim |
| 2014 | OSDI | Identifying Information Disclosure in Web Applications with Retroactive Auditing. | Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2014 | SP | From Zygote to Morula: Fortifying Weakened ASLR on Android. | Byoungyoung Lee, Long Lu, Tielei Wang, Taesoo Kim, Wenke Lee |
| 2013 | USENIX | Practical and Effective Sandboxing for Non-root Users. | Taesoo Kim, Nickolai Zeldovich |
| 2013 | SOSP | Asynchronous intrusion recovery for interconnected web services. | Ramesh Chandra, Taesoo Kim, Nickolai Zeldovich |
| 2012 | OSDI | Efficient Patch-based Auditing for Web Application Vulnerabilities. | Taesoo Kim, Ramesh Chandra, Nickolai Zeldovich |
| 2011 | SOSP | Intrusion recovery for database-backed web applications. | Ramesh Chandra, Taesoo Kim, Meelap Shah, Neha Narula, Nickolai Zeldovich |
| 2010 | OSDI | Intrusion Recovery Using Selective Re-execution. | Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |