Follow
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
33882019
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
238*2013
Privacy-Preserving Distributed Linear Regression on High-Dimensional Data.
A Gascón, P Schoppmann, B Balle, M Raykova, J Doerner, S Zahur, ...
Proc. Priv. Enhancing Technol. 2017 (4), 345-364, 2017
2222017
Secure single-server aggregation with (poly) logarithmic overhead
JH Bell, KA Bonawitz, A Gascón, T Lepoint, M Raykova
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
2212020
The privacy blanket of the shuffle model
B Balle, J Bell, A Gascón, K Nissim
Annual International Cryptology Conference, 638-667, 2019
2092019
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
1682019
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
1422013
Blind justice: Fairness with encrypted sensitive attributes
N Kilbertus, A Gascón, M Kusner, M Veale, K Gummadi, A Weller
International Conference on Machine Learning, 2630-2639, 2018
1202018
TAPAS: Tricks to accelerate (encrypted) prediction as a service
A Sanyal, M Kusner, A Gascon, V Kanade
International Conference on Machine Learning, 4490-4499, 2018
1132018
Secure Linear Regression on Vertically Partitioned Datasets.
A Gascón, P Schoppmann, B Balle, M Raykova, J Doerner, S Zahur, ...
IACR Cryptol. ePrint Arch. 2016, 892, 2016
962016
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
952016
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
952013
Private summation in the multi-message shuffle model
B Balle, J Bell, A Gascón, K Nissim
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
792020
Distributed Vector-OLE: Improved Constructions and Implementation
P Schoppmann, A Gascón, L Reichert, M Raykova
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
522019
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
492014
Differentially Private Summation with Multi-Message Shuffling
B Balle, J Bell, A Gascon, K Nissim
arXiv preprint arXiv:1906.09116, 2019
462019
Program synthesis using dual interpretation
A Tiwari, A Gascón, B Dutertre
International Conference on Automated Deduction, 482-497, 2015
372015
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
322008
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
302011
A synthesized algorithm for interactive consistency
A Gascón, A Tiwari
NASA Formal Methods Symposium, 270-284, 2014
282014
The system can't perform the operation now. Try again later.
Articles 1–20