@inproceedings {287374,
	author = {Sangdon Park and Osbert Bastani and Taesoo Kim},
	title = {{ACon^2}: Adaptive Conformal Consensus for Provable Blockchain Oracles},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {3313--3330},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/park},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {291295,
	author = {Scott Constable and Jo Van Bulck and Xiang Cheng and Yuan Xiao and Cedric Xing and Ilya Alexandrovich and Taesoo Kim and Frank Piessens and Mona Vij and Mark Silberstein},
	title = {{AEX-Notify}: Thwarting Precise {Single-Stepping} Attacks through Interrupt Awareness for Intel {SGX} Enclaves},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {4051--4068},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/constable},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {287330,
	author = {Yu-Fu Fu and Jaehyuk Lee and Taesoo Kim},
	title = {autofz: Automated Fuzzer Composition at Runtime},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {1901--1918},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/fu-yu-fu},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {280886,
	author = {Sujin Park and Diyu Zhou and Yuchen Qian and Irina Calciu and Taesoo Kim and Sanidhya Kashyap},
	title = {{Application-Informed} Kernel Synchronization Primitives},
	booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)},
	year = {2022},
	isbn = {978-1-939133-28-1},
	address = {Carlsbad, CA},
	pages = {667--682},
	url = {https://www.usenix.org/conference/osdi22/presentation/park},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {279961,
	author = {Sungbae Yoo and Jinbum Park and Seolheui Kim and Yeji Kim and Taesoo Kim},
	title = {{In-Kernel} {Control-Flow} Integrity on Commodity {OSes} using {ARM} Pointer Authentication},
	booktitle = {31st USENIX Security Symposium (USENIX Security 22)},
	year = {2022},
	isbn = {978-1-939133-31-1},
	address = {Boston, MA},
	pages = {89--106},
	url = {https://www.usenix.org/conference/usenixsecurity22/presentation/yoo},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {280800,
	author = {Fan Sang and Ming-Wei Shih and Sangho Lee and Xiaokuan Zhang and Michael Steiner and Mona Vij and Taesoo Kim},
	title = {{PRIDWEN}: Universally Hardening {SGX} Programs via {Load-Time} Synthesis},
	booktitle = {2022 USENIX Annual Technical Conference (USENIX ATC 22)},
	year = {2022},
	isbn = {978-1-939133-29-69},
	address = {Carlsbad, CA},
	pages = {455--472},
	url = {https://www.usenix.org/conference/atc22/presentation/sang},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {273753,
	author = {Youngseok Yang and Taesoo Kim and Byung-Gon Chun},
	title = {Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing},
	booktitle = {15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)},
	year = {2021},
	isbn = {978-1-939133-22-9},
	pages = {349--365},
	url = {https://www.usenix.org/conference/osdi21/presentation/yang},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {263880,
	author = {Brian Wickman and Hong Hu and Insu Yun and DaeHee Jang and JungWon Lim and Sanidhya Kashyap and Taesoo Kim},
	title = {Preventing {Use-After-Free} Attacks with Fast Forward Allocation},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {2453--2470},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/wickman},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {251560,
	author = {Insu Yun and Dhaval Kapil and Taesoo Kim},
	title = {Automatic Techniques to Systematically Discover New Heap Exploitation Primitives},
	booktitle = {29th USENIX Security Symposium (USENIX Security 20)},
	year = {2020},
	isbn = {978-1-939133-17-5},
	pages = {1111--1128},
	url = {https://www.usenix.org/conference/usenixsecurity20/presentation/yun},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {238580,
	author = {Hanqing Zhao and Yanyu Zhang and Kun Yang and Taesoo Kim},
	title = {Breaking Turtles All the Way Down: An Exploitation Chain to Break out of {VMware} {ESXi}},
	booktitle = {13th USENIX Workshop on Offensive Technologies (WOOT 19)},
	year = {2019},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/woot19/presentation/zhao},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {235473,
	author = {Jinho Jung and Hong Hu and David Solodukhin and Daniel Pagan and Kyu Hyung Lee and Taesoo Kim},
	title = {Fuzzification: {Anti-Fuzzing} Techniques},
	booktitle = {28th USENIX Security Symposium (USENIX Security 19)},
	year = {2019},
	isbn = {978-1-939133-06-9},
	address = {Santa Clara, CA},
	pages = {1913--1930},
	url = {https://www.usenix.org/conference/usenixsecurity19/presentation/jung},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {234966,
	author = {Soyeon Park and Sangho Lee and Wen Xu and HyunGon Moon and Taesoo Kim},
	title = {libmpk: Software Abstraction for Intel Memory Protection Keys (Intel {MPK})},
	booktitle = {2019 USENIX Annual Technical Conference (USENIX ATC 19)},
	year = {2019},
	isbn = {978-1-939133-03-8},
	address = {Renton, WA},
	pages = {241--254},
	url = {https://www.usenix.org/conference/atc19/presentation/park-soyeon},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {236296,
	author = {Chenxiong Qian and Hong Hu and Mansour Alharthi and Pak Ho Chung and Taesoo Kim and Wenke Lee},
	title = {{RAZOR}: A Framework for Post-deployment Software Debloating},
	booktitle = {28th USENIX Security Symposium (USENIX Security 19)},
	year = {2019},
	isbn = {978-1-939133-06-9},
	address = {Santa Clara, CA},
	pages = {1733--1750},
	url = {https://www.usenix.org/conference/usenixsecurity19/presentation/qian},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {217638,
	author = {Yang Ji and Sangho Lee and Mattia Fazzini and Joey Allen and Evan Downing and Taesoo Kim and Alessandro Orso and Wenke Lee},
	title = {Enabling Refinable {Cross-Host} Attack Investigation with Efficient Data Flow Tagging and Tracking},
	booktitle = {27th USENIX Security Symposium (USENIX Security 18)},
	year = {2018},
	isbn = {978-1-939133-04-5},
	address = {Baltimore, MD},
	pages = {1705--1722},
	url = {https://www.usenix.org/conference/usenixsecurity18/presentation/jia-yang},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {217563,
	author = {Insu Yun and Sangho Lee and Meng Xu and Yeongjin Jang and Taesoo Kim},
	title = {{QSYM} : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing},
	booktitle = {27th USENIX Security Symposium (USENIX Security 18)},
	year = {2018},
	isbn = {978-1-939133-04-5},
	address = {Baltimore, MD},
	pages = {745--761},
	url = {https://www.usenix.org/conference/usenixsecurity18/presentation/yun},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {215999,
	author = {Sanidhya Kashyap and Changwoo Min and Taesoo Kim},
	title = {Scaling Guest {OS} Critical Sections with {eCS}},
	booktitle = {2018 USENIX Annual Technical Conference (USENIX ATC 18)},
	year = {2018},
	isbn = {ISBN 978-1-939133-01-4},
	address = {Boston, MA},
	pages = {159--172},
	url = {https://www.usenix.org/conference/atc18/presentation/kashyap},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {203267,
	author = {Meng Xu and Kangjie Lu and Taesoo Kim and Wenke Lee},
	title = {Bunshin: Compositing Security Mechanisms through Diversification},
	booktitle = {2017 USENIX Annual Technical Conference (USENIX ATC 17)},
	year = {2017},
	isbn = {978-1-931971-38-6},
	address = {Santa Clara, CA},
	pages = {271--283},
	url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/xu-meng},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {203197,
	author = {Su Yong Kim and Sangho Lee and Insu Yun and Wen Xu and Byoungyoung Lee and Youngtae Yun and Taesoo Kim},
	title = {{CAB-Fuzz}: Practical Concolic Testing Techniques for {COTS} Operating Systems},
	booktitle = {2017 USENIX Annual Technical Conference (USENIX ATC 17)},
	year = {2017},
	isbn = {978-1-931971-38-6},
	address = {Santa Clara, CA},
	pages = {689--701},
	url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/kim},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {203656,
	author = {Ren Ding and Chenxiong Qian and Chengyu Song and Bill Harris and Taesoo Kim and Wenke Lee},
	title = {Efficient Protection of {Path-Sensitive} Control Security},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {131--148},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/ding},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {201548,
	author = {Seongmin Kim and Juhyeng Han and Jaehyeong Ha and Taesoo Kim and Dongsu Han},
	title = {Enhancing Security and Privacy of Tor{\textquoteright}s Ecosystem by Using Trusted Execution Environments},
	booktitle = {14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)},
	year = {2017},
	isbn = {978-1-931971-37-9},
	address = {Boston, MA},
	pages = {145--161},
	url = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/kim-seongmin},
	publisher = {USENIX Association},
	month = mar
}
@inproceedings {203696,
	author = {Jaehyuk Lee and Jinsoo Jang and Yeongjin Jang and Nohyun Kwak and Yeseul Choi and Changho Choi and Taesoo Kim and Marcus Peinado and Brent ByungHoon Kang},
	title = {Hacking in Darkness: Return-oriented Programming against Secure Enclaves},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {523--539},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/lee-jaehyuk},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {203698,
	author = {Sangho Lee and Ming-Wei Shih and Prasun Gera and Taesoo Kim and Hyesoon Kim and Marcus Peinado},
	title = {Inferring Fine-grained Control Flow Inside {SGX} Enclaves with Branch Shadowing},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {557--574},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/lee-sangho},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {203882,
	author = {Meng Xu and Taesoo Kim},
	title = {{PlatPal}: Detecting Malicious Documents with Platform Diversity},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {271--287},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/xu-meng},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {203195,
	author = {Sanidhya Kashyap and Changwoo Min and Taesoo Kim},
	title = {Scalable {NUMA-aware} Blocking Synchronization Primitives},
	booktitle = {2017 USENIX Annual Technical Conference (USENIX ATC 17)},
	year = {2017},
	isbn = {978-1-931971-38-6},
	address = {Santa Clara, CA},
	pages = {603--615},
	url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/kashyap},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {197149,
	author = {Insu Yun and Changwoo Min and Xujie Si and Yeongjin Jang and Taesoo Kim and Mayur Naik},
	title = {{APISan}: Sanitizing {API} Usages through Semantic {Cross-Checking}},
	booktitle = {25th USENIX Security Symposium (USENIX Security 16)},
	year = {2016},
	isbn = {978-1-931971-32-4},
	address = {Austin, TX},
	pages = {363--378},
	url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/yun},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {196265,
	author = {Sanidhya Kashyap and Changwoo Min and Byoungyoung Lee and Taesoo Kim and Pavel Emelyanov},
	title = {Instant {OS} Updates via Userspace {Checkpoint-and-Restart}},
	booktitle = {2016 USENIX Annual Technical Conference (USENIX ATC 16)},
	year = {2016},
	isbn = {978-1-931971-30-0},
	address = {Denver, CO},
	pages = {605--619},
	url = {https://www.usenix.org/conference/atc16/technical-sessions/presentation/kashyap},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {196192,
	author = {Changwoo Min and Sanidhya Kashyap and Steffen Maass and Taesoo Kim},
	title = {Understanding Manycore Scalability of File Systems},
	booktitle = {2016 USENIX Annual Technical Conference (USENIX ATC 16)},
	year = {2016},
	isbn = {978-1-931971-30-0},
	address = {Denver, CO},
	pages = {71--85},
	url = {https://www.usenix.org/conference/atc16/technical-sessions/presentation/min},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {190511,
	author = {Changwoo Min and Woon-Hak Kang and Taesoo Kim and Sang-Won Lee and Young Ik Eom},
	title = {Lightweight {Application-Level} Crash Consistency on Transactional Flash Storage},
	booktitle = {2015 USENIX Annual Technical Conference (USENIX ATC 15)},
	year = {2015},
	isbn = {978-1-931971-225},
	address = {Santa Clara, CA},
	pages = {221--234},
	url = {https://www.usenix.org/conference/atc15/technical-session/presentation/min},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {190530,
	author = {Seungyeop Han and Haichen Shen and Taesoo Kim and Arvind Krishnamurthy and Thomas Anderson and David Wetherall},
	title = {{MetaSync}: File Synchronization Across Multiple Untrusted Storage Services},
	booktitle = {2015 USENIX Annual Technical Conference (USENIX ATC 15)},
	year = {2015},
	isbn = {978-1-931971-225},
	address = {Santa Clara, CA},
	pages = {83--95},
	url = {https://www.usenix.org/conference/atc15/technical-session/presentation/han},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {190955,
	author = {Byoungyoung Lee and Chengyu Song and Taesoo Kim and Wenke Lee},
	title = {Type Casting Verification: Stopping an Emerging Attack Vector},
	booktitle = {24th USENIX Security Symposium (USENIX Security 15)},
	year = {2015},
	isbn = {978-1-939133-11-3},
	address = {Washington, D.C.},
	pages = {81--96},
	url = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/lee},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {186210,
	author = {Haogang Chen and Taesoo Kim and Xi Wang and Nickolai Zeldovich and M. Frans Kaashoek},
	title = {Identifying Information Disclosure in Web Applications with Retroactive Auditing},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
	year = {2014},
	isbn = { 978-1-931971-16-4},
	address = {Broomfield, CO},
	pages = {555--569},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/chen_haogang},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {180196,
	author = {Taesoo Kim and Nickolai Zeldovich},
	title = {Practical and Effective Sandboxing for Non-root Users},
	booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)},
	year = {2013},
	isbn = {978-1-931971-01-0},
	address = {San Jose, CA},
	pages = {139--144},
	url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/kim},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {180264,
	author = {Taesoo Kim and Ramesh Chandra and Nickolai Zeldovich},
	title = {Efficient Patch-based Auditing for Web Application Vulnerabilities},
	booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)},
	year = {2012},
	isbn = {978-1-931971-96-6},
	address = {Hollywood, CA},
	pages = {193--206},
	url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/kim},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {180212,
	author = {Taesoo Kim and Marcus Peinado and Gloria Mainar-Ruiz},
	title = {{STEALTHMEM}: {System-Level} Protection Against {Cache-Based} Side Channel Attacks in the Cloud},
	booktitle = {21st USENIX Security Symposium (USENIX Security 12)},
	year = {2012},
	isbn = {978-931971-95-9},
	address = {Bellevue, WA},
	pages = {189--204},
	url = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/kim},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {249095,
	author = {Taesoo Kim and Xi Wang and Nickolai Zeldovich and M. Frans Kaashoek},
	title = {Intrusion Recovery Using Selective Re-execution},
	booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/osdi10/intrusion-recovery-using-selective-re-execution},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {267236,
	author = {Taesoo Kim and Nickolai Zeldovich},
	title = {Making Linux Protection Mechanisms Egalitarian with {UserFS}},
	booktitle = {19th USENIX Security Symposium (USENIX Security 10)},
	year = {2010},
	address = {Washington, DC},
	url = {https://www.usenix.org/conference/usenixsecurity10/making-linux-protection-mechanisms-egalitarian-userfs},
	publisher = {USENIX Association},
	month = aug
}
