Taesoo Kim

Byung-Gon Chun

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

WINNIE : Fuzzing Windows Applications with Harness Synthesis and Fast Cloning.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

Contextual concurrency control.

[BibT_eX]

[DOI]

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Are we done yet? Our Journey to Fight against Memory-safety Bugs.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Hardware Support to Improve Fuzzing Performance and Precision.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Brain to Music: Musical Representation from Stress-Induced EEG.

[BibT_eX]

[DOI]

Proceedings of the 9th International Winter Conference on Brain-Computer Interface, 2021

A Look Back on a Function Identification Problem.

[BibT_eX]

[DOI]

Hyungjoon Koo

Soyeon Park

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020

Finding Bugs in File Systems with an Extensible Fuzzing Framework.

[BibT_eX]

[DOI]

ACM Trans. Storage, 2020

ECOTLB: Eventually Consistent TLBs.

[BibT_eX]

[DOI]

Abhishek Bhattacharjee

ACM Trans. Archit. Code Optim., 2020

Automatic Techniques to Systematically Discover New Heap Exploitation Primitives.

[BibT_eX]

[DOI]

Insu Yun

Dhaval Kapil

Proceedings of the 29th USENIX Security Symposium, 2020

Krace: Data Race Fuzzing for Kernel File Systems.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Fuzzing JavaScript Engines with Aspect-preserving Mutation.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

DESENSITIZATION: Privacy-Aware and Attack-Preserving Crash Report.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

Persistent Memory Needs Lifetime Extension Techniques.

[BibT_eX]

[DOI]

Youngjoo Woo

Sungin Jung

Proceedings of the International Conference on Information and Communication Technology Convergence, 2020

Slimium: Debloating the Chromium Browser with Feature Subsetting.

[BibT_eX]

[DOI]

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

FREEDOM: Engineering a State-of-the-Art DOM Fuzzer.

[BibT_eX]

[DOI]

Wen Xu

Soyeon Park

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

P2FAAS: Toward Privacy-Preserving Fuzzing as a Service.

[BibT_eX]

[DOI]

CoRR, 2019

Breaking Turtles All the Way Down: An Exploitation Chain to Break out of VMware ESXi.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Workshop on Offensive Technologies, 2019

RAZOR: A Framework for Post-deployment Software Debloating.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

Fuzzification: Anti-Fuzzing Techniques.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

libmpk: Software Abstraction for Intel Memory Protection Keys (Intel MPK).

[BibT_eX]

[DOI]

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Fuzzing File Systems via Two-Dimensional Input Space Exploration.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Recipe: converting concurrent DRAM indexes to persistent-memory indexes.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Finding semantic bugs in file systems with an extensible fuzzing framework.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Scalable and practical locking with shuffling.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

SplitFS: reducing software overhead in file systems for persistent memory.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Toward scaling hardware security module for emerging cloud services.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on System Software for Trusted Execution, 2019

2018

SGX-Tor: A Secure and Practical Tor Anonymity Network With SGX Enclaves.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2018

libmpk: Software Abstraction for Intel Memory Protection Keys.

[BibT_eX]

[DOI]

CoRR, 2018

SPX: Preserving End-to-End Security for Edge Computing.

[BibT_eX]

[DOI]

CoRR, 2018

Prevention of cross-update privacy leaks on android.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2018

QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 27th USENIX Security Symposium, 2018

Enabling Refinable Cross-Host Attack Investigation with Efficient Data Flow Tagging and Tracking.

[BibT_eX]

[DOI]

Proceedings of the 27th USENIX Security Symposium, 2018

Scaling Guest OS Critical Sections with eCS.

[BibT_eX]

[DOI]

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

mKPAC: Kernel Packet Processing for Manycore Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Middleware Conference (Posters), 2018

Solros: a data-centric operating system architecture for heterogeneous computing.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth EuroSys Conference, 2018

A scalable ordering primitive for multicore machines.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth EuroSys Conference, 2018

Enforcing Unique Code Target Property for Control-Flow Integrity.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

LATR: Lazy Translation Coherence.

[BibT_eX]

[DOI]

Abhishek Bhattacharjee

Tushar Krishna

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Leaking Uninitialized Secure Enclave Memory via Structure Padding (Extended Abstract).

[BibT_eX]

[DOI]

Sangho Lee

CoRR, 2017

Bunshin: Compositing Security Mechanisms through Diversification (with Appendix).

[BibT_eX]

[DOI]

CoRR, 2017

PlatPal: Detecting Malicious Documents with Platform Diversity.

[BibT_eX]

[DOI]

Meng Xu

Proceedings of the 26th USENIX Security Symposium, 2017

Hacking in Darkness: Return-oriented Programming against Secure Enclaves.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

Efficient Protection of Path-Sensitive Control Security.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

Bunshin: Compositing Security Mechanisms through Diversification.

[BibT_eX]

[DOI]

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Scalable NUMA-aware Blocking Synchronization Primitives.

[BibT_eX]

[DOI]

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

SGX-Bomb: Locking Down the Processor via Rowhammer Attack.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on System Software for Trusted Execution, SysTEX@SOSP 2017, 2017

Enhancing Security and Privacy of Tor's Ecosystem by Using Trusted Execution Environments.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

T-SGX: Eradicating Controlled-Channel Attacks Against Enclave Programs.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Mosaic: Processing a Trillion-Edge Graph on a Single Machine.

[BibT_eX]

[DOI]

Proceedings of the Twelfth European Conference on Computer Systems, 2017

Designing New Operating Primitives to Improve Fuzzing Performance.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

FEAST 2017: The Second Workshop on Forming an Ecosystem Around Software Transformation.

[BibT_eX]

[DOI]

Dinghao Wu

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

CCS'17 Tutorial Abstract / SGX Security and Privacy.

[BibT_eX]

[DOI]

Zhiqiang Lin

Chia-Che Tsai

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

RAIN: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Identifying Open-Source License Violation and 1-day Security Risk at Large Scale.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

FLsched: A Lockless and Lightweight Approach to OS Scheduler for Xeon Phi.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2016

Opportunistic Spinlocks: Achieving Virtual Machine Scalability in the Clouds.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2016

MetaSync: Coordinating Storage across Multiple File Synchronization Services.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2016

Toward Engineering a Secure Android Ecosystem: A Survey of Existing Techniques.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2016

APISan: Sanitizing API Usages through Semantic Cross-Checking.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

Understanding Manycore Scalability of File Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Instant OS Updates via Userspace Checkpoint-and-Restart.

[BibT_eX]

[DOI]

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

HDFI: Hardware-Assisted Data-Flow Isolation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Provably-Secure Remote Memory Attestation for Heap Overflow Protection.

[BibT_eX]

[DOI]

Proceedings of the Security and Cryptography for Networks - 10th International Conference, 2016

Enforcing Kernel Security Invariants with Data Flow Integrity.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

FLEXDROID: Enforcing In-App Privilege Separation in Android.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

OpenSGX: An Open Platform for SGX Research.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

Fast, Scalable and Secure Onloading of Edge Functions Using AirBox.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Symposium on Edge Computing, 2016

S-NFV: Securing NFV states by using SGX.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization, 2016

UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Breaking Kernel Address Space Layout Randomization with Intel TSX.

[BibT_eX]

[DOI]

Yeongjin Jang

Sangho Lee

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Towards Provably-Secure Remote Memory Attestation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Type Casting Verification: Stopping an Emerging Attack Vector.

[BibT_eX]

[DOI]

Proceedings of the 24th USENIX Security Symposium, 2015

Lightweight Application-Level Crash Consistency on Transactional Flash Storage.

[BibT_eX]

[DOI]

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

MetaSync: File Synchronization Across Multiple Untrusted Storage Services.

[BibT_eX]

[DOI]

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Cross-checking semantic correctness: the case of finding file system bugs.

[BibT_eX]

[DOI]

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Preventing Use-after-free with Dangling Pointers Nullification.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

A First Step Towards Leveraging Commodity Trusted Execution Environments for Network Applications.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Workshop on Hot Topics in Networks, Philadelphia, PA, USA, November 16, 2015

Efficient Transmission of Reversible Data Hiding in Encryption Images by Using Reed-Solomon Codes.

[BibT_eX]

[DOI]

Sunghwan Kim

Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015

UCognito: Private Browsing without Tears.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

ASLR-Guard: Stopping Address Space Leakage for Code Reuse Attacks.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Breaking and Fixing VoLTE: Exploiting Hidden Data Channels and Mis-implementations.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Scalability in the Clouds!: A Myth or Reality?

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014

Automatic intrusion recovery with system-wide history.

[BibT_eX]

[DOI]

PhD thesis, 2014

From Zygote to Morula: Fortifying Weakened ASLR on Android.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Identifying Information Disclosure in Web Applications with Retroactive Auditing.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2013

Practical and Effective Sandboxing for Non-root Users.

[BibT_eX]

[DOI]

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Asynchronous intrusion recovery for interconnected web services.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Optimizing unit test execution in large software programs using dependency analysis.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Workshop on Systems, 2013

Security bugs in embedded interpreters.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012

STEALTHMEM: System-Level Protection Against Cache-Based Side Channel Attacks in the Cloud.

[BibT_eX]

[DOI]

Marcus Peinado

Gloria Mainar-Ruiz

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

Efficient Patch-based Auditing for Web Application Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Recovering from intrusions in distributed systems with DARE.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011

Intrusion recovery for database-backed web applications.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

2010

Making Linux Protection Mechanisms Egalitarian with UserFS.

[BibT_eX]

[DOI]