Work discussed by the FCC and covered by 100+ global media outlets including The New York Times, Forbes, The Washington Post, ACM TechNews, and MIT Technology Review
Multiple papers accepted to top-tier security venues: IEEE S&P, USENIX Security, CCS, BlackHat USA, etc.
5GBaseChecker received Distinguished Paper Award at USENIX Security ’24
Open-sourced software artifacts from research group
Background
Assistant Professor in the Department of Computer Science and Engineering at Pennsylvania State University
Research interests broadly lie in network and systems security
Leads the Systems and Network Security (SyNSec) research group
Focuses on improving security and privacy in the design and software implementations of emerging networks and complex systems
Takes a holistic, ground-up approach: design analysis, implementation evaluation, runtime monitoring, and high-assurance defense construction
Integrates formal methods, program analysis, software testing, signal processing, and cryptography