41
Publications
5.7K
Citations
23
H-Index
2013
Active since
Justin Hsu is an author at IMDEA Software Institute specializing in engineering, computer science, and data privacy.
Top concepts
EngineeringComputer ScienceFormal MethodsData PrivacyFormal VerificationCryptographyData SecurityVerificationProgram AnalysisAutomated Reasoning
Publications per year
2013–2023
41
41
Advances and Open Problems in Federated Learning
Peter Kairouz, H. Brendan McMahan, Brendan Avent et al. · Foundations and Trends® in Machine Learning · 2020 · 4.2K citations · Full text
Differential Privacy: An Economic Method for Choosing Epsilon
Justin Hsu, Marco Gaboardi, Andreas Haeberlen et al. · 2014 · 266 citations · Full text
Linear dependent types for differential privacy
Marco Gaboardi, Andreas Haeberlen, Justin Hsu et al. · 2013 · 169 citations
Proving Differential Privacy via Probabilistic Couplings
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire et al. · 2016 · 97 citations · Full text
Rows per page
1–5 of 41