David Balbás

I am a PhD student in Cryptography at IMDEA Software Institute in Madrid (Spain), advised by Dario Fiore, Maribel González-Vasco, and Claudio Soriente.

I obtained a MSc in Computer Science, specializing in theoretical computer science, at KTH Royal Institute of Technology in Stockholm (Sweden).

I did my MSc Thesis at LASEC, EPFL in Lausanne (Switzerland). Previously, I completed a BSc in Mathematics and a BSc in Physics at Universidad de Cantabria (Spain).


My current work focuses on efficient cryptographic protocols for verifiable computation and their applications. More broadly, I am interested in computer security, complexity theory, and mathematics.

I have a special interest in the following topics. Please don't hesitate to contact me if you are interested!

Recent Work

Theses and Academic Projects