USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 36 results:
Filters: Author is Taesoo Kim [Clear All Filters]
.
2023. ACon^2: Adaptive Conformal Consensus for Provable Blockchain Oracles. 32nd USENIX Security Symposium (USENIX Security 23). :3313--3330.
.
2023. AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves. 32nd USENIX Security Symposium (USENIX Security 23). :4051--4068.
.
2023. autofz: Automated Fuzzer Composition at Runtime. 32nd USENIX Security Symposium (USENIX Security 23). :1901--1918.
.
2022. Application-Informed Kernel Synchronization Primitives. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :667--682.
.
2022. In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication. 31st USENIX Security Symposium (USENIX Security 22). :89--106.
.
2022. PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :455--472.
.
2021. Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :349--365.
.
2021. Preventing Use-After-Free Attacks with Fast Forward Allocation. 30th USENIX Security Symposium (USENIX Security 21). :2453--2470.
.
2020. Automatic Techniques to Systematically Discover New Heap Exploitation Primitives. 29th USENIX Security Symposium (USENIX Security 20). :1111--1128.
.
2019. Breaking Turtles All the Way Down: An Exploitation Chain to Break out of VMware ESXi. 13th USENIX Workshop on Offensive Technologies (WOOT 19).
.
2019. Fuzzification: Anti-Fuzzing Techniques. 28th USENIX Security Symposium (USENIX Security 19). :1913--1930.
.
2019. libmpk: Software Abstraction for Intel Memory Protection Keys (Intel MPK). 2019 USENIX Annual Technical Conference (USENIX ATC 19). :241--254.
.
2019. RAZOR: A Framework for Post-deployment Software Debloating. 28th USENIX Security Symposium (USENIX Security 19). :1733--1750.
.
2018. Enabling Refinable Cross-Host Attack Investigation with Efficient Data Flow Tagging and Tracking. 27th USENIX Security Symposium (USENIX Security 18). :1705--1722.
.
2018. QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing. 27th USENIX Security Symposium (USENIX Security 18). :745--761.
.
2018. Scaling Guest OS Critical Sections with eCS. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :159--172.
.
2017. Bunshin: Compositing Security Mechanisms through Diversification. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :271--283.
.
2017. CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :689--701.
.
2017. Efficient Protection of Path-Sensitive Control Security. 26th USENIX Security Symposium (USENIX Security 17). :131--148.
.
2017. Enhancing Security and Privacy of Tor's Ecosystem by Using Trusted Execution Environments. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :145--161.
.
2017. Hacking in Darkness: Return-oriented Programming against Secure Enclaves. 26th USENIX Security Symposium (USENIX Security 17). :523--539.
.
2017. Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing. 26th USENIX Security Symposium (USENIX Security 17). :557--574.
.
2017. PlatPal: Detecting Malicious Documents with Platform Diversity. 26th USENIX Security Symposium (USENIX Security 17). :271--287.
.
2017. Scalable NUMA-aware Blocking Synchronization Primitives. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :603--615.
.
2016. APISan: Sanitizing API Usages through Semantic Cross-Checking. 25th USENIX Security Symposium (USENIX Security 16). :363--378.