Excited to highlight Markus Scherer's talk at #Wasm Research Days. A collaborative masterpiece with J.F.Blaabjerg (Aarhus University) and A. Sjösten, @msolitro.bsky.social, @matteomaffei.bsky.social sky.social from @tuwien.at. Discover how Wappler pioneers in this domain youtu.be/KwI55q4GBxo?...

Today we kicked off our master course on Formal Methods for Security and Privacy @cysecwien.bsky.social . Welcome to all students, looking forward to the new projects and lectures that have been freshly prepared with love by our group!

Giulia Scaffino from @cysecwien.bsky.social on stage at Network and Distributed System Security Symposium (NDSS) presenting Alba, our framework for interoperability across Layer-2 solutions. If you are interested, take a look at our paper! www.ndss-symposium.org/ndss-paper/a...

Alba: The Dawn of Scalable Bridges for Blockchains - NDSS Symposium

ndss-symposium.org

And the best paper award sponsored by @paloaltonetworks.bsky.social goes to... 📜 Can Public IP Blocklists Explain Internet Radiation? by D. Ravalico, S. Cossaro, R. Valentim, M. Trevisan, and I. Drago! Congratulations 👏 #MADWeb #NDSSsymposium2025

🚀 Exciting news! Jonathan Katz from #Google is giving a lecture at #TUW! 📢 "Round-Optimal Fully Secure Distributed Key Generation" 📅 March 4 | Attend in person or online Don’t miss this chance to learn from a cryptography expert! 🔐 📌 Details: cysec.wien/news/2025-03...

Engaging discussions at the AI & Security Competence Forum! Experts M. Maffei ‪@matteomaffei.bsky.social‬, T. Stubbings #CTS, A. Janda #KSÖ, R. Schneider #DeutscheTelekom, and J. Schlaghuber #Siemens reached a strong consensus on the necessity of intensifying efforts. #CyberSicherheit #CyberSecurity

Join us on February 28 at the "Radical Software: Women, Art & Computing 1960–1991" symposium, co-organized by Laura Kovács and hosted by TU Wien Informatics, Kunsthalle Wien, and the Wolfgang Pauli Institute. Register now to attend for free. More details here: cysec.wien/news/2025-02...

At #ALPSY 2025 workshop Stefano Trevisano discussed flexible modes for compression functions, focusing on ZK-SNARKs #supervision of Elena Andreeva. Marek Sefranek explored hash functions in PIOP-based SNARKs, crucial for zero-knowledge proofs. #collaboration with Arnab Roy from @uniinnsbruck

Gadgets have arrived 🤩 @cysecwien.bsky.social

Big cheers to Prof. Laura Kovacs for her victory in the second round of the ERC Proof of Concept 2024 with LEARN (Learning Efficient Automated Reasoning on the Net)! Here’s to even greater achievements ahead! #ResearchExcellence in @informatics.tuwien.ac.at

Dive into the cutting-edge world of Mimblewimble, Mina, and space-efficient blockchains with Georg Fuchsbauer on January 27! Don’t miss this deep dive - join us online and spread the word by sharing the link! cysec.wien/news/2025-01...

Join us on the journey to a secure and privacy-respecting Web with Christoph Kerschbaumer from Mozilla! Attend this insightful lecture at #tuwien or online. Learn more: cysec.wien/news/2024-12...

We’re seeking collaborators passionate about transforming science with AI/ML! Secure a tenure-track position at TU Wien with €1.8M in personal funding to lead your own research group. Learn more at cysec.wien/calls/call_w.... Please share this opportunity with your colleagues!