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)