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 | 5792 | 2021 |
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 | 387 | 2014 |
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 | 229 | 2013 |
Data poisoning against differentially-private learners: Attacks and defenses Y Ma, X Zhu, J Hsu arXiv preprint arXiv:1903.09860, 2019 | 157 | 2019 |
Distributed private heavy hitters J Hsu, S Khanna, A Roth Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012 | 143 | 2012 |
Fake news detection via NLP is vulnerable to adversarial attacks Z Zhou, H Guan, MM Bhat, J Hsu arXiv preprint arXiv:1901.09657, 2019 | 119 | 2019 |
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 | 108 | 2016 |
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 | 104 | 2014 |
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 | 103 | 2015 |
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 | 98 | 2020 |
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 | 97 | 2014 |
Synthesizing coupling proofs of differential privacy A Albarghouthi, J Hsu Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 71 | 2017 |
System FC with explicit kind equality S Weirich, J Hsu, RA Eisenberg ACM SIGPLAN Notices 48 (9), 275-286, 2013 | 68 | 2013 |
Synthesizing Probabilistic Invariants via Doob’s Decomposition G Barthe, T Espitau, LM Ferrer Fiority, J Hsu Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 67 | 2016 |
A semantic account of metric preservation A Azevedo de Amorim, M Gaboardi, J Hsu, S Katsumata, I Cherigui ACM SIGPLAN Notices 52 (1), 545-556, 2017 | 64 | 2017 |
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 | 63 | 2016 |
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 | 62 | 2014 |
Privately solving linear programs J Hsu, A Roth, T Roughgarden, J Ullman Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014 | 60 | 2014 |
Online assignment of heterogeneous tasks in crowdsourcing markets S Assadi, J Hsu, S Jabbari Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 3 …, 2015 | 57 | 2015 |
Coupling proofs are probabilistic product programs G Barthe, B Grégoire, J Hsu, PY Strub ACM SIGPLAN Notices 52 (1), 161-174, 2017 | 56 | 2017 |