Advances in Zero-Knowledge Proofs: Bridging the Gap between Theory and Practice
Tiancheng Xie [2023]

Efficient Zero-Knowledge Proofs: Theory and Practice
Jiaheng Zhang [2023]

The Unprecedented Risks and Opportunities of Extended Reality Motion Data
Vivek Nair [2023]

Learning-Based Program Synthesis: Towards Synthesizing Complex Programs from Multi-Modal Specifications in the Wild
Xinyun Chen [2022]

Machine Learning Safety
Daniel Hendrycks [2022]

Towards Privacy-Preserving and Regulation-Compliant Data Analysis
Lun Wang [2022]

Abstraction, Generalization, and Embodiment in Neural Program Synthesis
Richard Shin [2020]

Towards Automatic Machine Learning Pipeline Design
Mitar Milutinovic [2019]

Adaptive and Diverse Techniques for Generating Adversarial Examples
Warren He [2018]

Towards Practical Privacy-Preserving Data Analytics
Noah Johnson [2018]

Abstract Semantics for Software Security Analysis
Kevin Zhijie Chen [2015]

Towards Secure and Privacy-Preserving Online Social Networking Services
Zhenqiang Gong [2015]

Towards High Assurance HTML5 Applications
Devdatta Akhawe [2014]

Techniques for Model Inference and Bug Finding
Chia Yuan Cho [2013]

Analysis and Enforcement of Web Application Security Policies
Joel Weinberger [2012]

Attacks on Emerging Architectures
Steve Hanna [2012]

Systematic Techniques for Finding and Preventing Script Injection Vulnerabilities
Prateek Saxena [2012]

Cryptographic Techniques for Privacy Preserving Identity
John Bethencourt [2011]