Research: Systems and Security

I am actively seeking motivated PhD, MS, and undergraduate students who are interested in participating in research projects focusing on systems and security. Please find some sample projects below.

System Security

• Goal: Designing dynamic/static program analysis techniques for identifying security vulnerabilities in systems (e.g., Linux, OP-TEE)
• Recent Pubs: TailCheck [OSDI’23]; DevFuzz [S&P’23]
• Funding: Updates will be available soon.

Intermittent Computing

• Goal: Designing crash consistency solutions for battery-less energy harvesting systems
• Recent Pubs: Write-Light Cache [ISCA’23]; ReplayCache [MICRO’21]
• Funding: NSF 2153747

Regular Expression Denial of Service (REDOS)

• Goal: Designing REDOS-safe regular expression engines
• Recent Pubs: Memoization [S&P’21]; ReDoS [FSE’18]
• Funding: NSF 2135157

Sustainable Data Center

• Goal: Designing system and programming support for sustainable data center
• Recent Pubs: Metrics [SIGENERGY’23]
• Funding: NSF 2214980

Fully Homomorphic Encryption (FHE)

• Goal: Designing system and compiler support for FHE
• Recent Pubs: ELASM [SEC’23]; HECATE [CGO’22]

Last updated on Dec 09, 2023.