Adrià Gascón
Adrià Gascón
Verified email at google.com
Title
Cited by
Cited by
Year
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
7702019
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
181*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
1272017
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
1022013
The privacy blanket of the shuffle model
B Balle, J Bell, A Gascón, K Nissim
Annual International Cryptology Conference, 638-667, 2019
842019
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
722016
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
712013
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
642019
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
592018
TAPAS: Tricks to accelerate (encrypted) prediction as a service
A Sanyal, MJ Kusner, A Gascon, V Kanade
arXiv preprint arXiv:1806.03461, 2018
562018
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
482016
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
372014
Private Summation in the Multi-Message Shuffle Model
B Balle, J Bell, A Gascon, K Nissim
arXiv preprint arXiv:2002.00817, 2020
302020
Differentially Private Summation with Multi-Message Shuffling
B Balle, J Bell, A Gascon, K Nissim
arXiv preprint arXiv:1906.09116, 2019
292019
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
282011
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
282008
Program synthesis using dual interpretation
A Tiwari, A Gascón, B Dutertre
International Conference on Automated Deduction, 482-497, 2015
262015
A synthesized algorithm for interactive consistency
A Gascón, A Tiwari
NASA Formal Methods Symposium, 270-284, 2014
242014
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
202010
Closure of tree automata languages under innermost rewriting
A Gascon, G Godoy, F Jacquemard
Electronic Notes in Theoretical Computer Science 237, 23-38, 2009
182009
The system can't perform the operation now. Try again later.
Articles 1–20