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
5732019
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
173*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
1162017
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
962013
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
682013
The privacy blanket of the shuffle model
B Balle, J Bell, A Gascón, K Nissim
Annual International Cryptology Conference, 638-667, 2019
652019
TAPAS: Tricks to accelerate (encrypted) prediction as a service
A Sanyal, MJ Kusner, A Gascon, V Kanade
arXiv preprint arXiv:1806.03461, 2018
512018
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
512018
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
492019
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
442016
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
352014
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
252015
A synthesized algorithm for interactive consistency
A Gascón, A Tiwari
NASA Formal Methods Symposium, 270-284, 2014
242014
Differentially Private Summation with Multi-Message Shuffling
B Balle, J Bell, A Gascon, K Nissim
arXiv preprint arXiv:1906.09116, 2019
222019
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
Private Summation in the Multi-Message Shuffle Model
B Balle, J Bell, A Gascon, K Nissim
arXiv preprint arXiv:2002.00817, 2020
172020
The system can't perform the operation now. Try again later.
Articles 1–20