Arjun Narayan
Arjun Narayan
Materialize, Inc.
Verified email at materialize.io - Homepage
Title
Cited by
Cited by
Year
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
2272014
Differential Privacy Under Fire.
A Haeberlen, BC Pierce, A Narayan
USENIX Security Symposium 33, 2011
2112011
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
2082014
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
1782013
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
1472011
DJoin: Differentially Private Join Queries over Distributed Databases
A Narayan, A Haeberlen
10th USENIX Symposium on Operating Systems Design and Implementation, 2012
1072012
DStress: Efficient Differentially Private Computations on Distributed Data
A Papadimitriou, A Narayan, A Haeberlen
EuroSys, 560-574, 2017
242017
Distributed Differential Privacy and Applications
A Narayan
University of Pennsylvania, 2015
202015
Verifiable differential privacy
A Narayan, A Feldman, A Papadimitriou, A Haeberlen
Proceedings of the Tenth European Conference on Computer Systems, 1-14, 2015
172015
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
102014
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
The system can't perform the operation now. Try again later.
Articles 1–11