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:


I'll be at ICML'18 in Stockholm. These are our papers:
UNIF'18 in Oxford was great! Here you can find the slides of my invited talk.

TPMPC'18 was amazing! So many exciting things happening in MPC. This is our recent work:
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.

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.