Publication
2023
-
Metamong: Detecting Render-update Bugs in Web Browsers through Fuzzing (to appear)
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE) 2023
-
Pspray: Timing Side-Channel based Linux Kernel Heap Exploitation Technique (to appear)
USENIX Security Symposium (Security) 2023
-
Extending a Hand to Attackers: Browser Privilege Escalation Attacks via Extensions (to appear)
USENIX Security Symposium (Security) 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
-
Diagnosing Kernel Concurrency Failures with AITIA
ACM EuroSys Conference (EuroSys) 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
-
MundoFuzz: Hypervisor Fuzzing with Statistical Coverage Testing and Grammar Inference
USENIX Security Symposium (Security) 2022
-
SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis
USENIX Security Symposium (Security) 2022
-
FuzzOrigin: Detecting UXSS vulnerabilities in Browsers through Origin Fuzzing
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
-
FuzzUSB: Hybrid Stateful Fuzzing of USB Gadget Stacks
IEEE Symposium on Security and Privacy (SP) 2022
2021
-
M2MON: Building an MMIO-based Security Reference Monitor for Unmanned Vehicles
USENIX Security Symposium (Security) 2021
-
Constraint-guided Directed Greybox Fuzzing
USENIX Security Symposium (Security) 2021
-
ExpRace: Exploiting Kernel Races through Raising Interrupts
USENIX Security Symposium (Security) 2021
-
DiFuzzRTL: Differential Fuzz Testing to Find CPU Bugs
IEEE Symposium on Security and Privacy (SP) 2021
-
KARD: Lightweight Data Race Detection with Per-Thread Memory Protection
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2021
-
Chancel: Efficient Multi-client Isolation Under Adversarial Programs
Network and Distributed System Security Symposium (NDSS) 2021
2020
-
TRUSTORE: Side-Channel Resistant Storage for SGX using Intel Hybrid CPU-FPGA
ACM Conference on Computer and Communications Security (CCS) 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
-
BlackMirror: Preventing Wallhacks in 3D Online FPS Games
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
-
Exploiting Kernel Races through Taming Thread Interleaving
BlackHat USA 2020
-
A Tale of Two Trees: One Writes, and Other Reads. Optimized Oblivious Accesses to Large-Scale Blockchains
Privacy Enhancing Technologies Symposium (PETS) 2020
-
HFL: Hybrid Fuzzing on the Linux Kernel
Network and Distributed System Security Symposium (NDSS) 2020
2019
-
All Your Clicks Belong to Me: Investigating Click Interception on the Web
USENIX Security Symposium (Security) 2019
-
uXOM: Efficient eXecute-Only Memory on ARM Cortex-M
USENIX Security Symposium (Security) 2019
-
Razzer: Finding Kernel Race Bugs through Fuzzing
IEEE Symposium on Security and Privacy (SP) 2019
-
PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications
ACM Conference on Data and Application Security and Privacy (CODASPY) 2019
-
OBFUSCURO: A Commodity Obfuscation Engine on Intel SGX
Network and Distributed System Security Symposium (NDSS) 2019
2018
-
Enhancing Memory Error Detection for Large-Scale Applications and Fuzz Testing
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
-
Obliviate: A Data Oblivious Filesystem for Intel SGX
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
-
SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs
Network and Distributed System Security Symposium (NDSS) 2017
2016
-
Instant OS Updates via Userspace Checkpoint-and-Restart
USENIX Annual Technical Conference (ATC) 2016
-
HDFI: Hardware-assisted Data-Flow Isolation
IEEE Symposium on Security and Privacy (SP) 2016
-
TrackMeOrNot: Enabling Flexible Control on Web Tracking
International Conference on World Wide Web (WWW) 2016
-
Enforcing Kernel Security Invariants with Data Flow Integrity
Network and Distributed System Security Symposium (NDSS) 2016
2015
-
Cross-checking Semantic Correctness: The Case of Finding File System Bugs
ACM Symposium on Operating Systems Principles (SOSP) 2015
-
ASLR-Guard: Stopping Address Space Leakage for Code Reuse Attacks
ACM Conference on Computer and Communications Security (CCS) 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
-
Preventing Use-after-free with Dangling Pointers Nullification
Network and Distributed System Security Symposium (NDSS) 2015
2014
-
Exploiting Unpatched iOS Vulnerabilities for Fun and Profit
BlackHat USA 2014
-
Abusing Performance Optimization Weaknesses to Bypass ASLR
BlackHat USA 2014
-
From Zygote to Morula: Fortifying weakened ASLR on Android
IEEE Symposium on Security and Privacy (SP) 2014
2011
-
Protecting Location Privacy Using Location Semantics
ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) 2011