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 joined IMDEA in October 2021. Before, I did my MSc Thesis at LASEC, EPFL in Lausanne (Switzerland). I also worked as a Cryptography Engineer at BERTEN.
I obtained a MSc in Theoretical Computer Science at KTH Royal Institute of Technology, Stockholm (Sweden). Previously, I completed a BSc in Mathematics and a BSc in Physics at University of Cantabria (Spain).
Interests
My current work focuses on cryptographic protocols for verifiable computation and their applications. More broadly, I am interested in foundational and applied cryptography, as well as in computer security, privacy, complexity theory, and mathematics.
I have a special interest in the following topics. Don't hesitate to reach out if you are interested!
Publications
2023
- Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing
David Balbás, Dario Fiore, Maribel González-Vasco, Damien Robissout, Claudio Soriente
ACM CCS 2023
Implementation, slides. - WhatsUpp with Sender Keys? Analysis, Improvements and Security Proofs
David Balbás, Daniel Collins, Phillip Gajland
ASIACRYPT 2023
Check out our poster @ USENIX Security 2023! - Chainable Functional Commitments for Unbounded-Depth Circuits
David Balbás, Dario Catalano, Dario Fiore, Russell W. F. Lai
TCC 2023 - Cryptographic Administration for Secure Group Messaging
David Balbás, Daniel Collins, Serge Vaudenay
USENIX Security 2023
2022
- Analysis and Improvements of the Sender Keys Protocol for Group Messaging
David Balbás, Daniel Collins, Phillip Gajland
RECSI 2022 - 2nd Best Paper Award!
Theses and Academic Projects
- On Secure Administrators for Group Messaging Protocols
MSc Thesis, 2021 - The Hardness of LWE and Ring-LWE: A Survey
Cryptology ePrint Archive, Report 2021/1358 - A Deep Learning approach for the detection of point sources in the Cosmic Microwave Background
BSc Thesis (Physics), 2019
Short conference paper @ ML4Astro 2022 - Attacks on RSA
BSc Thesis (Mathematics), 2019
Teaching and Service
- I am partially funded by an FPU Grant by "Ministerio de Universidades" of the Government of Spain (FPU21/00600).
- I have been a Teaching Assistant in the courses:
- Algorithms and Data Structures, BSc in Computer Science, Universidad Politécnica de Madrid, Autumn 2023
- Programming II, BSc in Mathematics and Computer Science, Universidad Politécnica de Madrid, Spring 2023
- Algorithms and Data Structures, BSc in Data Science, Universidad Politécnica de Madrid, Spring 2023
- Computer Security, MSc in Computer Science, KTH Royal Institute of Technology, Autumn 2020
- I have sub-reviewed papers for the conferences:
- CRYPTO '22, '23
- EUROCRYPT '23, '24
Contact Me
- My email address is: david (dot) balbas (at) imdea.org
- LinkedIn profile
- My CV is available upon request.