Current Appointments & Affiliations
Associate Professor of Computer Science
·
2024 - Present
Computer Science,
Trinity College of Arts & Sciences
Recent Publications
Agora: Trust Less and Open More in Verification for Confidential Computing
Journal Article Proceedings of the ACM on Programming Languages · October 9, 2025 Confidential computing (CC), designed for security-critical scenarios, uses remote attestation to guarantee code integrity on cloud servers. However, CC alone cannot provide assurance of high-level security properties (e.g., no data leak) on the code. In t ... Full text CiteCan Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark
Conference HOTOS 2025 Proceedings of the 2025 Workshop in Hot Topics in Operating Systems · June 6, 2025 Large language models (LLMs) have demonstrated remarkable coding capabilities. They excel in code synthesis benchmarks across diverse domains and have become ubiquitous in coding tools. Recently, they have also shown promise in generating mathematical proo ... 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 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 - 2028Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2023 - 2027CAREER: Building Secure Applications with Non-Static Information Flow Policies
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2023 - 2026View All Grants
Education, Training & Certifications
Cornell University ·
2015
Ph.D.