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]
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]