
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).
Interests
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!
Publications & Preprints
- Functional Commitments for Circuits from Falsifiable Assumptions
David Balbás, Dario Catalano, Dario Fiore, Russell W. F. Lai
Preprint - in submission - Cryptographic Administrators for Secure Group Messaging
David Balbás, Daniel Collins, Serge Vaudenay
Preprint - in submission - What's Upp with Sender Keys? Analysis, Improvements and Security Proofs
David Balbás, Daniel Collins, Phillip Gajland
Preprint - in submission. Preliminary version appears in RECSI 2022. Slides available.
Theses and Academic Projects
- On Secure Administrators for Group Messaging Protocols
MSc Thesis
August 2021 - The Hardness of LWE and Ring-LWE: A Survey
Cryptology ePrint Archive, Report 2021/1358
June 2021 - A Deep Learning approach for the detection of point sources in the Cosmic Microwave Background
BSc Thesis (Physics)
September 2019 - Attacks on RSA
BSc Thesis (Mathematics, in Spanish)
July 2019
Contact Me
- My email address is david (dot) balbas (at) imdea.org.
- LinkedIn profile
- My CV is available upon request.