Research
Project Themes
Security-by-design: Myths and Realities
ROI_SPEC
Research Report: Not All Move Specifications Are Created Equal
MVP_APTOS
Securing Aptos Framework with Formal Verification
FAST
Finding Specification Blind Spots via Fuzz Testing
MVP
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
CIDER
Dominance as a New Trusted Computing Primitive for the Internet of Things
UCOGNITO
UCognito: Private Browsing without Tears
Symbolic and Static Program Analysis
DEADLINE
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
OSSPOLICE
Checking Open-Source License Violation and 1-day Security Risk at Large Scale
Program Fuzz Testing and Dynamic Analysis
FUZZ_SLICE
FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing
FAST
Finding Specification Blind Spots via Fuzz Testing
KRACE
Krace: Data Race Fuzzing for Kernel File Systems
HYDRA
Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework
QSYM
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Moving-target Defense
S2MALLOC
S2malloc: Statistically Secure Allocator for Use-After-Free Protection And More
BUDDY
Stopping Memory Disclosures via Diversification and Replicated Execution
PLATPAL
PlatPal: Detecting Malicious Documents with Platform Diversity
BUNSHIN
Bunshin: Compositing Security Mechanisms through Diversification
Side-channels and Covert Channels
SENSE
Sense: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification
Systematization of Knowledge
ROI_SPEC
Research Report: Not All Move Specifications Are Created Equal
SURVEY_ANDROID
Toward Engineering a Secure Android Ecosystem: A Survey of Existing Techniques
Research Team
Current members
- Liyi Zhang MMath (S22 - )
- Ruizhe Wang MMath -> PhD, co-supervised with Prof N. Asokan (F22 - )
- Yunji Kim MMath (F22 - )
- Mehdi Aghakishiyev MMath, co-supervised with Prof N. Asokan (F23 - )
- Zekun Wang MMath (F23 - )
- Anubhav Gupta MMath, co-supervised with Prof Mei Nagappan (W24 - )
- Qingyang Zhou PhD, co-supervised with Prof Mei Nagappan (S24 - )
- Peter Pan MMath (S24 - )
Alumni
- Ru Ji MMath (W22 - F23)
- Yuqing Huang Undergraduate (F21 - W22)
- David Cha Undergraduate (F21 - W22)
- Chris Krofchak Undergraduate (W22 - W22)
- Naomy Sabo Undergraduate (S22 - S22)
- Benjamin Wu Undergraduate (S22 - S22)
- Saksham Bajaj Undergraduate (S22 - S22)
- Chloe Chen Undergraduate (S22 - S22)
- Xialin Liu Undergraduate (S22 - F22)
- Andrew Chin Undergraduate, NSERC USRA Award (S22 - F22)
- Zijie Lu Undergraduate (S22 - F22)
- Evan Yu Undergraduate (F22 - F22)
- Kevin Liang Undergraduate (F22 - F22)
- Jason Chen Undergraduate (F23 - F23)