
David Balbás
@dabalbas
PhD student at IMDEA Software Institute, Spain. Interested in cryptography and computer security.
ID: 1445507083793682438
http://davidbalbas.github.io 05-10-2021 21:52:14
22 Tweet
67 Followers
109 Following




¡Nuevo desafío criptográfico en EL PAÍS Tecnología! En esta ocasión David Balbás y Diego Castejón, de IMDEA Software nos retan a salir de una Escape Room 🚪usando un ⌨️ manipulado ¿Lo conseguiremos? Bernardo Marín elpais.com/tecnologia/202…


I'm pleased to share that our poster entitled "WhatsUpp with Sender Keys? Analysis, Improvements, and Security Proofs" has been accepted at USENIX 2023. My two brilliant co-authors (David Balbás and Daniel Collins) will be there in a few weeks to present our research. #USENIX2023

Excited to share that our paper on Sender Keys: "WhatsUpp with Sender Keys? Analysis, Improvements and Security Proofs" has been accepted at ASIACRYPT! Grateful to my incredible coauthors Daniel Collins and David Balbás for their hard work. 🧵




David Balbás presenting our paper on Sender Keys at #Asiacrypt in Guangzhou. Timely, as Facebook Messenger adopts the Sender Keys protocol. Joint work with David Balbás and Daniel Collins. [Paper: ia.cr/2023/1385] [Messenger update: about.fb.com/news/2023/12/d…]
![Phillip (@p4i11ip) on Twitter photo <a href="/dabalbas/">David Balbás</a> presenting our paper on Sender Keys at #Asiacrypt in Guangzhou.
Timely, as Facebook Messenger adopts the Sender Keys protocol.
Joint work with <a href="/dabalbas/">David Balbás</a> and <a href="/dcol97/">Daniel Collins</a>.
[Paper: ia.cr/2023/1385]
[Messenger update: about.fb.com/news/2023/12/d…] <a href="/dabalbas/">David Balbás</a> presenting our paper on Sender Keys at #Asiacrypt in Guangzhou.
Timely, as Facebook Messenger adopts the Sender Keys protocol.
Joint work with <a href="/dabalbas/">David Balbás</a> and <a href="/dcol97/">Daniel Collins</a>.
[Paper: ia.cr/2023/1385]
[Messenger update: about.fb.com/news/2023/12/d…]](https://pbs.twimg.com/media/GA9cSB8WoAEG2cH.jpg)

🔵 A group of researchers from #IMDEASoftware, UC3M, and NEC Laboratories Europe create innovative verification techniques to increase security in artificial intelligence and image processing. The research is part of the #PICOCRYPT project - European Research Council (ERC) 🌐 c.madrid/wwzft #ERCCoG


Great work lead by David Balbás within the #picocrypt project headed by Dario Fiore at IMDEA Software 🙌🙌 La Comunidad de Madrid crea técnicas de verificación para aumentar la seguridad en el uso de la Inteligencia Artificial shar.es/agtIdS

I am looking for a PhD student in Cryptography to join our group at IMDEA Software ! Topics of interest include zero-knowledge proofs, succinct proof systems and verifiable computation, computation on encrypted data. For more information -> software.imdea.org/careers/2024-0…


Cryptograhers and cryptography enthusiasts - follow IACR Eurocrypt for updates on Eurocrypt 2025! #EC25 #Eurocrypt


🔵 El investigador de IMDEA Software, Diego Castejón, publica en The Conversation ES el artículo ➡️ ¿Alguien sabe a quién mandé mi criptomoneda? 🔎 En una criptomoneda como Bitcoin, cualquiera puede saber quién paga a quién. Una de las herramientas disponibles para mejorar la
