David Balbás

Hola! I am David Balbás, a PhD student in Cryptography at IMDEA Software Institute in Madrid (Spain), advised by Dario Fiore. I am co-advised by 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 cryptography, 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!

  • Efficient (succinct) proofs of
    computation and zero-knowledge
  • Cryptographic primitives for verifiable computation
  • Privacy-preserving Machine Learning
  • Security of (group) messaging protocols