Working with an amazing
team
on the design and implementation of an open-source industrial-grade
library
for zero-knowledge proofs based on
PlonK, giving support to the
Tezos blockchain.
Working with
Masayuki Abe and
Miyako Ohkubo
on the design of new techniques for improving the expressivity and
functionalities of state-of-the-art attribute-based encryption schemes
and zero-knowledge proof systems.
Working with
Dario Fiore and
Claudio Soriente
on the design of efficient multi-authority controlled functional encryption
schemes for quadratic functions from linearly-homomorphic encryption.
Working with
Gilles Barthe and
Benedikt Schmidt on the development of
new techniques and software-tools for automated analysis of cryptographic
constructions in the generic group model.
Sep 2014 - Oct 2018
Education
PhD in Cryptography
IMDEA Software Institute and Universidad Politécnica de Madrid (UPM)