Arjun Narayan

Differential Privacy: An Economic Method for Choosing Epsilon

Justin Hsu, Marco Gaboardi, Andreas Haeberlen et al. · 2014 · 266 citations · Full text

Linear dependent types for differential privacy

Marco Gaboardi, Andreas Haeberlen, Justin Hsu et al. · 2013 · 169 citations

Privacy Protection, Engineering, Information Security +16

Ironclad apps: end-to-end security via automated full-system verification

Chris Hawblitzel, Jon Howell, Jacob R. Lorch et al. · Operating Systems Design and Implementation · 2014 · 149 citations

Engineering, Information Security, Verification +18

Secure network provenance

Wenchao Zhou, Qiong Fei, Arjun Narayan et al. · 2011 · 126 citations · Full text

Engineering, Network Forensics Capabilities, Information Security +17

Differential privacy under fire

Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan · ScholarlyCommons (University of Pennsylvania) · 2011 · 118 citations · Full text