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!

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