Arjun Narayan
Arjun Narayan
Materialize, Inc.
Bestätigte E-Mail-Adresse bei materialize.io - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2062014
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
2002014
Differential Privacy Under Fire.
A Haeberlen, BC Pierce, A Narayan
USENIX Security Symposium 33, 2011
1972011
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
1632013
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
1392011
DJoin: Differentially Private Join Queries over Distributed Databases
A Narayan, A Haeberlen
10th USENIX Symposium on Operating Systems Design and Implementation, 2012
1012012
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
192015
Verifiable differential privacy
A Narayan, A Feldman, A Papadimitriou, A Haeberlen
Proceedings of the Tenth European Conference on Computer Systems, 1-14, 2015
162015
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
92014
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11