I am a post-doctoral researcher at the IMDEA Software Institute (Madrid), under the supervision of Dario Fiore and Claudio Soriente. I received a PhD in Software, Systems and Computing from Universidad Politécnica de Madrid, under the supervision of Gilles Barthe and Benedikt Schmidt.
I am one of the main developers of the Generic Group Analyzer Unbounded. The Generic Group Analyzer Unbounded is a tool that automatically analyzes the security of cryptographic constructions in the Generic Group Model.
I am one of the main developers of the Generic Group Model Symbolic Solver. An extension of the previous tool that captures polynomial divisions in the exponent.
I developed an proof of concept implementation of Attribute-Based Encryption.
November 2018 - Present.
IMDEA Software Institute.
PhD in Software, Systems and Computing (DSSC).
September 2014 - October 2018.
IMDEA Software Institute and Universidad Politécnica de Madrid.
MS in Mathematical Engineering.
2013 - 2014.
Universidad Complutense de Madrid.
BS in Mathematical Engineering.
2009 - 2013.
Universidad Complutense de Madrid. Premio Extraordinario.
2017, NTT Laboratories R&D, Tokyo, Japan (5 months).
Under the supervision of Masayuki Abe.
2012-2013, Fábrica Nacional de Moneda y Timbre - RCM, Madrid, Spain (13 months).
Under the supervision of Luis Borruel Navarro. Research and development project of security in printed documents based on color.