61 citations · 235 across the 13 of their papers we have counts for
4 papers · 1 filter
TAPAS: Tricks to Accelerate (encrypted) Prediction As a Service
Amartya Sanyal, Matt J. Kusner, Adrià Gascón +1
Machine learning methods are widely used for a variety of prediction problems. \emph{Prediction as a service} is a paradigm in which service providers with technological expertise…
Blind Justice: Fairness with Encrypted Sensitive Attributes
Niki Kilbertus, Adrià Gascón, Matt J. Kusner +3
Recent work has explored how to train machine learning models which do not discriminate against any subgroup of the population as determined by sensitive attributes such as gender…
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation
David Butler, David Aspinall, Adria Gascon
In cryptography, secure Multi-Party Computation (MPC) protocols allow participants to compute a function jointly while keeping their inputs private. Recent breakthroughs are bringi…
Grammar-based Compression of Unranked Trees
Adrià Gascón, Markus Lohrey, Sebastian Maneth +2
We introduce forest straight-line programs (FSLPs) as a compressed representation of unranked ordered node-labelled trees. FSLPs are based on the operations of forest algebra and g…