Advances and Open Problems in Federated Learning P Kairouz, HB McMahan, B Avent, A Bellet, M Bennis, AN Bhagoji, ... arXiv preprint arXiv:1912.04977, 2019 | 461 | 2019 |
Reverse engineering digital circuits using structural and functional analyses P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ... IEEE Transactions on Emerging Topics in Computing 2 (1), 63-80, 2013 | 167* | 2013 |
Privacy-preserving distributed linear regression on high-dimensional data A Gascón, P Schoppmann, B Balle, M Raykova, J Doerner, S Zahur, ... Proceedings on Privacy Enhancing Technologies 2017 (4), 345-364, 2017 | 101 | 2017 |
Reverse engineering digital circuits using structural and functional analyses P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ... IEEE Transactions on Emerging Topics in Computing 2 (1), 63-80, 2013 | 92 | 2013 |
Revisiting square-root ORAM: efficient random access in multi-party computation S Zahur, X Wang, M Raykova, A Gascón, J Doerner, D Evans, J Katz 2016 IEEE Symposium on Security and Privacy (SP), 218-234, 2016 | 69 | 2016 |
Wordrev: Finding word-level structures in a sea of bit-level gates W Li, A Gascon, P Subramanyan, WY Tan, A Tiwari, S Malik, N Shankar, ... 2013 IEEE International Symposium on Hardware-Oriented Security and Trust …, 2013 | 66 | 2013 |
The privacy blanket of the shuffle model B Balle, J Bell, A Gascón, K Nissim Annual International Cryptology Conference, 638-667, 2019 | 58 | 2019 |
Blind Justice: Fairness with Encrypted Sensitive Attributes N Kilbertus, A Gascón, MJ Kusner, M Veale, KP Gummadi, A Weller arXiv preprint arXiv:1806.03281, 2018 | 49 | 2018 |
TAPAS: Tricks to accelerate (encrypted) prediction as a service A Sanyal, MJ Kusner, A Gascon, V Kanade arXiv preprint arXiv:1806.03461, 2018 | 46 | 2018 |
QUOTIENT: Two-Party Secure Neural Network Training and Prediction N Agrawal, A Shahin Shamsabadi, MJ Kusner, A Gascón Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 41 | 2019 |
Secure Linear Regression on Vertically Partitioned Datasets. A Gascón, P Schoppmann, B Balle, M Raykova, J Doerner, S Zahur, ... IACR Cryptology ePrint Archive 2016, 892, 2016 | 38 | 2016 |
Template-based circuit understanding A Gascón, P Subramanyan, B Dutertre, A Tiwari, D Jovanović, S Malik Proceedings of the 14th Conference on Formal Methods in Computer-Aided …, 2014 | 34 | 2014 |
Context matching for compressed terms A Gascón, G Godoy, M Schmidt-Schauß 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 93-102, 2008 | 28 | 2008 |
Unification and matching on compressed terms A Gascón, G Godoy, M Schmidt-Schauß ACM Transactions on Computational Logic (TOCL) 12 (4), 1-37, 2011 | 27 | 2011 |
Program synthesis using dual interpretation A Tiwari, A Gascón, B Dutertre International Conference on Automated Deduction, 482-497, 2015 | 25 | 2015 |
A synthesized algorithm for interactive consistency A Gascón, A Tiwari NASA Formal Methods Symposium, 270-284, 2014 | 24 | 2014 |
Context unification with one context variable A Gascón, G Godoy, M Schmidt-Schauß, A Tiwari Journal of Symbolic Computation 45 (2), 173-193, 2010 | 20 | 2010 |
Differentially Private Summation with Multi-Message Shuffling B Balle, J Bell, A Gascon, K Nissim arXiv preprint arXiv:1906.09116, 2019 | 18 | 2019 |
Closure of tree automata languages under innermost rewriting A Gascon, G Godoy, F Jacquemard Electronic Notes in Theoretical Computer Science 237, 23-38, 2009 | 18 | 2009 |
One-context unification with STG-compressed terms is in NP C Creus, A Gascón, G Godoy LIPIcs-Leibniz International Proceedings in Informatics 15, 2012 | 14 | 2012 |