2019

Agrawal, Nitin, ShahinAli, Ali, Kusner, Matt and Gascon, Adrià (2019) QUOTIENT : two-party secure neural network training and prediction.

Balle, Borja, Bell, James, Gascon, Adrià and Nissim, Kobbi (2019) The privacy blanket of the shuffle model. In: Crypto 2019, Santa Barbara, USA, 17-18 Aug 2019. Published in: Lecture Notes in Computer Science ISSN 0302-9743. (In Press)

Schoppmann, Phillipp, Gascon, Adrià, Raykova, Mariana and Pinkas, Benny (2019) Make some ROOM for the zeros : data sparsity in secure distributed machine learning.

2018

Kilbertus, Niki, Gascon, Adrià, Kusner, Matt, Veale, Michael, Gummadi , Krishna P. and Weller, Adrian (2018) Blind justice : fairness with encrypted sensitive attributes. In: 35th International Conference on Machine Learning, ICML 2018, Stockholm, Sweden, 10-15 Jul 2018. Published in: Proceedings of the 35th International Conference on Machine Learning, 80 pp. 2630-2639. ISSN 1938-7228.

Crowcroft, Jon and Gascon, Adrià (2018) Analytics without tears or is there a way for data to be anonymized and yet still useful? IEEE Internet Computing, 22 (3). pp. 58-64. doi:10.1109/MIC.2018.032501518

Gascon, Adrià, Lohrey, Markus, Maneth, Sebastian, Reh, Carl Philipp and Sieber, Kurt (2018) Grammar-based compression of unranked trees. In: International Computer Science Symposium in Russia, Moscow, Russia, 6-10 Jun 2018, 10846 pp. 118-131. ISBN 9783319905297. doi:10.1007/978-3-319-90530-3_11

Sanyal, Amartya, Kusner, Matt, Gascon, Adria and Kanade, Varun (2018) TAPAS : tricks to accelerate (encrypted) prediction as a service. In: 35th International Conference on Machine Learning, ICML 2018, Stockholm, Sweden, 10-15 Jul 2018. Published in: Proceedings of the 35th International Conference on Machine Learning, 80 pp. 4490-4499. ISSN 2640-3498.

2017

Gascon, Adrià, Schoppmann, Phillipp, Balle, Borja, Raykova, Mariana, Doerner, Jack, Zahur, Samee and Evans, David (2017) Privacy-preserving distributed linear regression on high-dimensional data. Proceedings on Privacy Enhancing Technologies, 2017 (4). pp. 345-364. doi:10.1515/popets-2017-0053

Butler, David, Aspinall, David and Gascon, Adrià (2017) How to simulate it in Isabelle : towards formal proof for secure multi-party computation. In: Ayala-Rincón, M. and Muñoz, C., (eds.) Interactive Theorem Proving. ITP 2017. Lecture Notes in Computer Science, 10499 . Cham: Springer, pp. 114-130. ISBN 9783319661063

Gascon, Adrià, Tiwari, Ashish, Carmer, Brent and Mathur, Umang (2017) Look for the proof to find the program : decorated-component-based program synthesis. In: Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings, Part II, Heidelberg, Germany, 24-28 Jul 2017, 10427 pp. 86-103. ISBN 9783319633893. ISSN 0302-9743. doi:10.1007/978-3-319-63390-9

2016

Creus, Carles, Gascon, Adrià, Godoy, Guillem and Ramos, Lander (2016) The HOM problem is EXPTIME-complete. SIAM Journal on Computing, 45 (4). pp. 1230-1260. doi:10.1137/140999104

Zahur, Samee, Wang, Xiao, Raykova, Mariana, Gascon, Adrià, Doerner, Jack, Evans, David and Katz, Jonathan (2016) Revisiting square-root ORAM : efficient random access in multi-party computation. In: IEEE Symposium on Security and Privacy, San Jose, CA, USA, 22-26 May 2016 pp. 218-234.