Current Duke Appointments & Affiliations
Associate Professor of Computer Science
·
2024 - Present
Computer Science,
Trinity College of Arts & Sciences
Recent Scholarly Works
Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: An Empirical Study
Journal article Proceedings of the ACM on Software Engineering · June 30, 2026 Trusted Execution Environments (TEEs) have become a cornerstone of confidential computing, attracting significant attention from academia and industry. To support secure and scalable application deployment on confidential clouds, TEE containers (Tc ... Full text CiteFilament: Denning-Style Information Flow Control for Rust
Preprint · April 15, 2026 Link to item CiteAgora: 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 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
Cornell University ·
2015
Ph.D.