David Balbás (@dabalbas) 's Twitter Profile
David Balbás

@dabalbas

PhD student at IMDEA Software Institute, Spain. Interested in cryptography and computer security.

ID: 1445507083793682438

linkhttp://davidbalbas.github.io calendar_today05-10-2021 21:52:14

22 Tweet

67 Followers

109 Following

Abdullah Talayhan (@talayhan_a) 's Twitter Profile Photo

(1/8) I am very happy to announce askcryp.to, a non-commercial platform to discuss and ask questions about Cryptology ePrint Archive papers. It aims to accumulate knowledge around papers in cryptography.

IACR (@iacr_news) 's Twitter Profile Photo

#ePrint Functional Commitments for Circuits from Falsifiable Assumptions: D Balbás, D Catalano, D Fiore, RWF Lai ia.cr/2022/1365

Maribel Glez. Vasco (@mbelcrypt_vasco) 's Twitter Profile Photo

¡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…

Maribel Glez. Vasco (@mbelcrypt_vasco) 's Twitter Profile Photo

Cerramos hoy nuestros Desafíos criptográficos con la solución del último reto. Mil gracias a todos los "desafiantes", a los intrépidos "desafiados" y a Bernardo Marín por llevar el timón! 👏👏👏 elpais.com/tecnologia/202… vía EL PAÍS

Phillip (@p4i11ip) 's Twitter Profile Photo

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

Phillip (@p4i11ip) 's Twitter Profile Photo

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. 🧵

Phillip (@p4i11ip) 's Twitter Profile Photo

1/2: Developing encrypted group messaging solutions remains a challenge. Apps like WhatsApp employ the Sender Keys protocol, yet it lacks formal study. Our work bridges this gap with a fresh security model & analysis, revealing several shortcomings. 📚 #SenderKeys

Phillip (@p4i11ip) 's Twitter Profile Photo

2/2: Our research introduces Sender Keys+ a refined protocol, balancing security and performance. This is the continuation of our work at RECSI 2022. Stay tuned for the ePrint. #SenderKeys+ #fromSantanderToGuangzhou. 🚀

Signal (@signalapp) 's Twitter Profile Photo

Announcing PQXDH! The first step in post-quantum resistance for the Signal Protocol, PQXDH protects your Signal calls & chats from potential future threats of breakthroughs in quantum computing. And it's already rolling out to Signal clients everywhere. signal.org/blog/pqxdh/

Announcing PQXDH! The first step in post-quantum resistance for the Signal Protocol, PQXDH protects your Signal calls & chats from potential future threats of breakthroughs in quantum computing. And it's already rolling out to Signal clients everywhere.

signal.org/blog/pqxdh/
Phillip (@p4i11ip) 's Twitter Profile Photo

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…]

<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…]
IMDEA Software (@imdea_software) 's Twitter Profile Photo

🔵 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

🔵 A group of researchers from #IMDEASoftware, <a href="/uc3m/">UC3M</a>, and <a href="/NECLabsEU/">NEC Laboratories Europe</a> create innovative verification techniques to increase security in artificial intelligence and image processing.

The research is part of the #PICOCRYPT project - <a href="/ERC_Research/">European Research Council (ERC)</a>

🌐 c.madrid/wwzft
#ERCCoG
Maribel Glez. Vasco (@mbelcrypt_vasco) 's Twitter Profile Photo

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

Dario Fiore (@dariofiore0) 's Twitter Profile Photo

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…

Dario Fiore (@dariofiore0) 's Twitter Profile Photo

Eurocrypt 2025 -- We have updated the website with: 📰Call for papers (Deadline Oct 2) 💡 Call for affiliated events (Deadline Sep 4) 🌍 Venue, travel, and visas info ➡️eurocrypt.iacr.org/2025 Madrid🇪🇸 is waiting for you!

Russell W. F. Lai (@russell_wf_lai) 's Twitter Profile Photo

Postdoc on Crypto in Helsinki We are looking for postdocs interested in working with us (Chris Brzuska and Russell W. F. Lai) on topics including but not limited to:

Maribel Glez. Vasco (@mbelcrypt_vasco) 's Twitter Profile Photo

Este jueves arrancamos CryptoClub en la UC3M, una iniciativa compartida con Juan Tapiador para reunir a alumnos e investigadores junior interesados en aprender sobre criptografía y seguridad..¿Os animáis? sites.google.com/view/cryptclub…

IMDEA Software (@imdea_software) 's Twitter Profile Photo

🔵 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

IACR Eurocrypt (@iacreurocrypt) 's Twitter Profile Photo

There is still time to submit your proposals for affiliated events! The call is open until tomorrow December 6th, 11:59 (AoE). #EC25 #Eurocrypt25