Folgen
Justin Hsu
Justin Hsu
Cornell University
Bestätigte E-Mail-Adresse bei justinhsu.net - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Advances and open problems in federated learning
P Kairouz, HB McMahan, B Avent, A Bellet, M Bennis, AN Bhagoji, ...
Foundations and Trends® in Machine Learning 14 (1–2), 1-210, 2021
28432021
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
3092014
Linear dependent types for differential privacy
M Gaboardi, A Haeberlen, J Hsu, A Narayan, BC Pierce
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
2052013
Distributed private heavy hitters
J Hsu, S Khanna, A Roth
arXiv preprint arXiv:1202.4910, 2012
1352012
Data poisoning against differentially-private learners: Attacks and defenses
Y Ma, X Zhu, J Hsu
arXiv preprint arXiv:1903.09860, 2019
982019
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
G Barthe, M Gaboardi, EJG Arias, J Hsu, A Roth, PY Strub
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
962015
Proving differential privacy via probabilistic couplings
G Barthe, M Gaboardi, B Grégoire, J Hsu, PY Strub
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
892016
Dual query: Practical private query release for high dimensional data
M Gaboardi, EJG Arias, J Hsu, A Roth, ZS Wu
International Conference on Machine Learning, 1170-1178, 2014
782014
Private matchings and allocations
J Hsu, Z Huang, A Roth, T Roughgarden, ZS Wu
Proceedings of the forty-sixth annual ACM symposium on Theory of computing …, 2014
782014
Fake news detection via NLP is vulnerable to adversarial attacks
Z Zhou, H Guan, MM Bhat, J Hsu
arXiv preprint arXiv:1901.09657, 2019
752019
System FC with explicit kind equality
S Weirich, J Hsu, RA Eisenberg
ACM SIGPLAN Notices 48 (9), 275-286, 2013
65*2013
Synthesizing coupling proofs of differential privacy
A Albarghouthi, J Hsu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
642017
Proving differential privacy in Hoare logic
G Barthe, M Gaboardi, EJG Arias, J Hsu, C Kunz, PY Strub
2014 IEEE 27th Computer Security Foundations Symposium, 411-424, 2014
592014
Mariana Raykova, Dawn Song, Weikang Song, Sebastian U
P Kairouz, HB McMahan, B Avent, A Bellet, M Bennis, AN Bhagoji, ...
Stich, Ziteng Sun, Ananda Theertha Suresh, Florian Tramèr, Praneeth …, 2021
552021
Privately solving linear programs
J Hsu, A Roth, T Roughgarden, J Ullman
Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014
552014
Advanced probabilistic couplings for differential privacy
G Barthe, N Fong, M Gaboardi, B Grégoire, J Hsu, PY Strub
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
542016
Coupling proofs are probabilistic product programs
G Barthe, B Grégoire, J Hsu, PY Strub
ACM SIGPLAN Notices 52 (1), 161-174, 2017
522017
Hypothesis testing interpretations and renyi differential privacy
B Balle, G Barthe, M Gaboardi, J Hsu, T Sato
International Conference on Artificial Intelligence and Statistics, 2496-2506, 2020
502020
Advances and open problems in federated learning. arXiv 2019
P Kairouz, HB McMahan, B Avent, A Bellet, M Bennis, AN Bhagoji, ...
arXiv preprint arXiv:1912.04977, 1912
501912
Online assignment of heterogeneous tasks in crowdsourcing markets
S Assadi, J Hsu, S Jabbari
Third AAAI Conference on Human Computation and Crowdsourcing, 2015
492015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20