Current Appointments & Affiliations
Associate Professor of Computer Science
·
2024 - Present
Computer Science,
Trinity College of Arts & Sciences
Recent Publications
CtChecker: 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 CiteRECONSTRUCTION ATTACKS ON AGGRESSIVE RELAXATIONS OF DIFFERENTIAL PRIVACY
Journal Article Journal of Privacy and Confidentiality · August 27, 2024 Differential privacy is a widely accepted formal privacy definition that allows aggregate information about a dataset to be released while controlling privacy leakage for individuals whose records appear in the data. Due to the unavoidable tension between ... Full text CiteEXACT PRIVACY ANALYSIS OF THE GAUSSIAN SPARSE HISTOGRAM MECHANISM
Journal Article Journal of Privacy and Confidentiality · January 1, 2024 Sparse histogram methods can be useful for returning differentially private counts of items in large or infinite histograms or large group-by queries, and more generally, releasing a set of statistics with sufficient item counts. We consider the Gaussian v ... 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.