Adrià Gascón


I have a Bsc., M.S., and Ph.D. in Computing from the
Department of software at the Technical University of Catalonia.

I am a Research Fellow at the Alan Turing Institute.

Before, I was a postdoctoral researcher at the
Database Group at the University of Edinburgh
and the Computer Science Laboratory at SRI International.

Research interests:


Our PETS'17 talk is online

Our CAV'17 talk is online

I am co-organizing the DALI'18 workshop on Fairness, Transparency and Privacy in AI.

I am co-chairing the 31st International Workshop on Unification UNIF'17, to be held in Oxford as part of FSCD'17.

I am co-organizing the NIPS'16 workshop Private Multi-Party Machine Learning.

Selected Recent Papers:

Secure Linear Regression on Vertically Partitioned Datasets.
with Phillipp Schoppmann, Borja Balle, Mariana Raykova, Samee Zahur, Jack Doerner, David Evans (pdf). Accepted at PETS'17.

How to Simulate it in Isabelle: Towards Formal Proof for Secure Multi-Party Computation
with David Aspinall and David Butler. Accepted at ITP'17.

Look for the Proof to Find the Program: Decorated Component Based Program-Synthesis
with Ashish Tiwari, Brent Carmer, and Umang Mathur (pdf). Accepted at CAV'17.

Revisiting Square Root ORAM: Efficient Random Access in Multi-Party Computation
with Samee Zahur, Xiao Wang, Mariana Raykova, Jack Doerner, David Evans, and Jonathan Katz (pdf). Accepted at S&P'16.

One Context Unification Problems Solvable in Polynomial Time,
with Ashish Tiwari and Manfred Schmidt-Schauss (pdf). Accepted at LICS'15.

Two-Restricted One Context Unification in Polynomial Time,
with Ashish Tiwari and Manfred Schmidt-Schauss (pdf). Accepted at CSL'15.