Adrià Gascón
Adrià Gascón
E-mail megerősítve itt: inf.ed.ac.uk
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1932019
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
154*2013
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
842013
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
802017
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
622013
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
612016
TAPAS: Tricks to accelerate (encrypted) prediction as a service
A Sanyal, MJ Kusner, A Gascon, V Kanade
arXiv preprint arXiv:1806.03461, 2018
412018
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
402018
The privacy blanket of the shuffle model
B Balle, J Bell, A Gascón, K Nissim
Annual International Cryptology Conference, 638-667, 2019
392019
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
332014
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
322016
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
262011
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
252008
Program synthesis using dual interpretation
A Tiwari, A Gascón, B Dutertre
International Conference on Automated Deduction, 482-497, 2015
242015
A synthesized algorithm for interactive consistency
A Gascón, A Tiwari
NASA Formal Methods Symposium, 270-284, 2014
232014
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
192010
Closure of tree automata languages under innermost rewriting
A Gascon, G Godoy, F Jacquemard
Electronic Notes in Theoretical Computer Science 237, 23-38, 2009
162009
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
152019
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
132012
Unification with singleton tree grammars
A Gascón, G Godoy, M Schmidt-Schauß
International Conference on Rewriting Techniques and Applications, 365-379, 2009
132009
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20