About
Currently, I am a fourth year Ph.D. student under the MAPi doctoral programme, and a researcher at HASLab/INESC TEC, working for project SafeCloud and NanoSTIMA. I hold a M.Sc. thesis in Informatics Engineering from University of Minho.
My research interests are cryptography and information security, more specifically regarding secure multiparty computation protocols relying on trusted hardware. The goal of my Ph.D. project is to improve the implementation of high-assurance multiparty computation protocols, by bridging the gap between rigorous theoretical security models and efficient practical implementations. Relevant contributions in this context include the first provable security approach for formalizing security guarantees of Isolated Execution Environments (IEEs), and the first general approach to implementing MPC protocols using IEE-enabled systems.