Not registered as user yet

Name: Daniel Kifer

Affiliation: Dept. of Computer Science and Engineering, Penn State University

Contributions

PLDI 2019 Author of Proving Differential Privacy with Shadow Execution within the PLDI Research Papers-track
POPL 2017 Author of LightDP: Towards Automating Differential Privacy Proofs within the POPL-track