Justin Hsu

Citado por

	Total	Desde 2019
Citas	9890	9056
Índice h	34	29
Índice i10	50	49

2500

1250

625

1875

2014201520162017201820192020202120222023202449 79 131 237 222 327 714 1306 1899 2351 2458

Acceso público

Ver todo

37 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Gilles BartheMPI-SP and IMDEA Software InstituteDirección de correo verificada de mpi-sp.org
Marco GaboardiBoston UniversityDirección de correo verificada de bu.edu
Pierre-Yves StrubResearch Scientist, PQShieldDirección de correo verificada de strub.nu
Aaron RothProfessor of Computer Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Benjamin GregoireInria Sophia-AntipolisDirección de correo verificada de inria.fr
Gallego Arias, Emilio JesúsStarting Reseacher, Inria, Université de Paris, IRIF, CNRS, F-75013 Paris, FranceDirección de correo verificada de x80.org
Thomas EspitauLead researcher, PQShieldDirección de correo verificada de pqshield.com
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Alexandra SilvaCornell UniversityDirección de correo verificada de cornell.edu
Andreas HaeberlenUniversity of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Tetsuya SatoTokyo Institute of TechnologyDirección de correo verificada de c.titech.ac.jp
Arjun NarayanMaterialize, Inc.Dirección de correo verificada de materialize.io
Arthur Azevedo de AmorimRochester Institute of TechnologyDirección de correo verificada de rit.edu
Sanjeev KhannaHenry Salvatori Professor of Computer Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Aws AlbarghouthiUniversity of Wisconsin–MadisonDirección de correo verificada de cs.wisc.edu
Zhiwei Steven WuCarnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Nate FosterProfessor of Computer Science, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Steffen SmolkaGoogle IncDirección de correo verificada de google.com
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu

Seguir

Justin Hsu

Cornell University

Dirección de correo verificada de justinhsu.net - Página principal

Differential Privacy Programming Languages Formal Verification


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	6661	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	408	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	238	2013
Data poisoning against differentially-private learners: Attacks and defenses Y Ma, X Zhu, J Hsu arXiv preprint arXiv:1903.09860, 2019	173	2019
Distributed private heavy hitters J Hsu, S Khanna, A Roth Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012	146	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	128	2019
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	114	2020
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	113	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	113	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	109	2015
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	106	2014
Synthesizing coupling proofs of differential privacy A Albarghouthi, J Hsu Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017	76	2017
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	69	2016
System FC with explicit kind equality S Weirich, J Hsu, RA Eisenberg ACM SIGPLAN Notices 48 (9), 275-286, 2013	69	2013
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	67	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	66	2016
Privately solving linear programs J Hsu, A Roth, T Roughgarden, J Ullman Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014	64	2014
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	63	2014
Coupling proofs are probabilistic product programs G Barthe, B Grégoire, J Hsu, PY Strub ACM SIGPLAN Notices 52 (1), 161-174, 2017	59	2017
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores