Current Appointments & Affiliations
Associate Professor of Computer Science
·
2024 - Present
Computer Science,
Trinity College of Arts & Sciences
Recent Publications
Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark
Conference Proceedings of the Workshop on Hot Topics in Operating Systems · May 14, 2025 Full text CiteClick Without Compromise: Online Advertising Measurement via Per User Differential Privacy
Conference Proceedings IEEE Symposium on Security and Privacy · January 1, 2025 Online advertising is a cornerstone of the Internet ecosystem, with advertising measurement playing a crucial role in optimizing efficiency. Ad measurement entails attributing desired behaviors, such as purchases, to ad exposures across various platforms, ... Full text CiteCtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Conference Leibniz International Proceedings in Informatics Lipics · September 1, 2024 Timing channel attacks are emerging as real-world threats to computer security. In cryptographic systems, an effective countermeasure against timing attacks is the constant-time programming discipline. However, strictly enforcing the discipline manually is ... Full text CiteRecent Grants
Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
ResearchPrincipal Investigator · Awarded by Pennsylvania State University · 2024 - 2028CAREER: Building Secure Applications with Non-Static Information Flow Policies
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2023 - 2026Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2023 - 2025View All Grants
Education, Training & Certifications
Cornell University ·
2015
Ph.D.