Differential privacy: An economic method for choosing epsilon J Hsu, M Gaboardi, A Haeberlen, S Khanna, A Narayan, BC Pierce, ... 2014 IEEE 27th Computer Security Foundations Symposium, 398-410, 2014 | 382 | 2014 |
Differential privacy under fire A Haeberlen, BC Pierce, A Narayan 20th USENIX Security Symposium (USENIX Security 11), 2011 | 289 | 2011 |
Ironclad Apps: End-to-end security via automated full-system verification C Hawblitzel, J Howell, JR Lorch, A Narayan, B Parno, D Zhang, B Zill USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2014 | 278 | 2014 |
Linear Dependent Types for Differential Privacy M Gaboardi, A Haeberlen, J Hsu, A Narayan, BC Pierce 40th ACM Symposium on Principles of Programming Languages, 2013 | 226 | 2013 |
Secure network provenance W Zhou, Q Fei, A Narayan, A Haeberlen, BT Loo, M Sherr Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011 | 178 | 2011 |
DJoin: Differentially Private Join Queries over Distributed Databases A Narayan, A Haeberlen 10th USENIX Symposium on Operating Systems Design and Implementation, 2012 | 149 | 2012 |
Verifiable differential privacy A Narayan, A Feldman, A Papadimitriou, A Haeberlen Proceedings of the Tenth European Conference on Computer Systems, 1-14, 2015 | 35 | 2015 |
DStress: Efficient Differentially Private Computations on Distributed Data A Papadimitriou, A Narayan, A Haeberlen EuroSys, 560-574, 2017 | 30 | 2017 |
Distributed Differential Privacy and Applications A Narayan University of Pennsylvania, 2015 | 27 | 2015 |
Compute globally, act locally: Protecting federated systems from systemic threats A Narayan, A Papadimitriou, A Haeberlen 10th Workshop on Hot Topics in System Dependability (HotDep 14), 2014 | 11 | 2014 |
Ironclad Apps: End-to-End Security via Automated Full-System Verification D Zhang, A Narayan, J Lorch, C Hawblitzel, J Howell, B Parno, B Zill | | |