Justin Hsu
Cornell University(US)
Publications by Year
Research Areas
Privacy-Preserving Technologies in Data, Cryptography and Data Security, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Logic, programming, and type systems
Most-Cited Works
- → Advances and Open Problems in Federated Learning(2020)4,363 cited
- → Differential Privacy: An Economic Method for Choosing Epsilon(2014)267 cited
- → Linear dependent types for differential privacy(2013)170 cited
- → Data Poisoning against Differentially-Private Learners: Attacks and Defenses(2019)104 cited
- → Proving Differential Privacy via Probabilistic Couplings(2016)97 cited
- → Proving Differential Privacy in Hoare Logic(2014)60 cited
- → Advanced Probabilistic Couplings for Differential Privacy(2016)56 cited
- → Privately Solving Linear Programs(2014)44 cited
- → Private matchings and allocations(2014)43 cited
- → Relational Reasoning via Probabilistic Coupling(2015)41 cited