Publications
2025
DLBox: New Model Training Framework for Protecting Training Data (to appear)
Network and Distributed System Security Symposium (NDSS) 2025
Laputa: Secure Data Analytics in Apache Spark with Fine-grained Policy Enforcement and Isolated Execution (to appear)
Network and Distributed System Security Symposium (NDSS) 2025
2024
PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux
ACM Conference on Computer and Communications Security (CCS) 2024
OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
ACM Symposium on Operating Systems Principles (SOSP) 2024
A Secure, Fast, and Resource-Efficient Serverless Platform with Function REWIND
USENIX Annual Technical Conference (ATC) 2024
2023
Metamong: Detecting Render-update Bugs in Web Browsers through Fuzzing
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE) 2023
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing
USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2023
SEGFUZZ: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing
IEEE Symposium on Security and Privacy (SP) 2023
GRAMINER: Fuzz Testing Gramine LibOS to Harden the Trusted Computing Base
Workshop on System Software for Trusted Execution (SysTEX) 2023
Extending a Hand to Attackers: Browser Privilege Escalation Attacks via Extensions
USENIX Security Symposium (Security) 2023
Pspray: Timing Side-Channel based Linux Kernel Heap Exploitation Technique
USENIX Security Symposium (Security) 2023
2022
Perfect Spray: A Journey From Finding a New Type of Logical Flaw at Linux Kernel To Developing a New Heap Exploitation Technique
BlackHat Europe 2022
SpecDoctor: Differential Fuzz Testing to Find Transient Execution Vulnerabilities
ACM Conference on Computer and Communications Security (CCS) 2022
FuzzOrigin: Detecting UXSS vulnerabilities in Browsers through Origin Fuzzing
USENIX Security Symposium (Security) 2022
SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis
USENIX Security Symposium (Security) 2022
MundoFuzz: Hypervisor Fuzzing with Statistical Coverage Testing and Grammar Inference
USENIX Security Symposium (Security) 2022
R2Z2: Detecting Rendering Regressions in Web Browsers through Differential Fuzz Testing
IEEE/ACM International Conference on Software Engineering (ICSE) 2022
2021
DiFuzzRTL: Differential Fuzz Testing to Find CPU Bugs
IEEE Symposium on Security and Privacy (SP) 2021
ExpRace: Exploiting Kernel Races through Raising Interrupts
USENIX Security Symposium (Security) 2021
M2MON: Building an MMIO-based Security Reference Monitor for Unmanned Vehicles
USENIX Security Symposium (Security) 2021
KARD: Lightweight Data Race Detection with Per-Thread Memory Protection
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2021
2020
BlackMirror: Preventing Wallhacks in 3D Online FPS Games
ACM Conference on Computer and Communications Security (CCS) 2020
TRUSTORE: Side-Channel Resistant Storage for SGX using Intel Hybrid CPU-FPGA
ACM Conference on Computer and Communications Security (CCS) 2020
Vessels: Efficient and Scalable Deep Learning Prediction on Trusted Processors
ACM Symposium on Cloud Computing (SoCC) 2020
A Tale of Two Trees: One Writes, and Other Reads. Optimized Oblivious Accesses to Large-Scale Blockchains
Privacy Enhancing Technologies Symposium (PETS) 2020
CrFuzz: Fuzzing Multi-purpose Programs through Input Validation
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE) 2020
2019
All Your Clicks Belong to Me: Investigating Click Interception on the Web
USENIX Security Symposium (Security) 2019
PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications
ACM Conference on Data and Application Security and Privacy (CODASPY) 2019
2018
Obliviate: A Data Oblivious Filesystem for Intel SGX
Network and Distributed System Security Symposium (NDSS) 2018
Securing Real-Time Microcontroller Systems through Customized Memory View Switching
Network and Distributed System Security Symposium (NDSS) 2018
2017
HexType: Efficient Detection of Type Confusion Errors for C++
ACM Conference on Computer and Communications Security (CCS) 2017
CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems
USENIX Annual Technical Conference (ATC) 2017
2016
Instant OS Updates via Userspace Checkpoint-and-Restart
USENIX Annual Technical Conference (ATC) 2016
TrackMeOrNot: Enabling Flexible Control on Web Tracking
International Conference on World Wide Web (WWW) 2016
2015
ASLR-Guard: Stopping Address Space Leakage for Code Reuse Attacks
ACM Conference on Computer and Communications Security (CCS) 2015
Cross-checking Semantic Correctness: The Case of Finding File System Bugs
ACM Symposium on Operating Systems Principles (SOSP) 2015
Type Casting Verification: Stopping an Emerging Attack Vector
USENIX Security Symposium (Security) 2015
Understanding Malvertising Through Ad-Injecting Browser Extensions
International Conference on World Wide Web (WWW) 2015