One of the missions of our CySec TU Wien is societal outreach, including schools! Kudos to Carlotta Tagliaro and Marco Squarcina from S&P TU Wien for organizing this fantastic initiative! informatics.tuwien.ac.at/news/2621

💡 Nick Bezhanishvili (University of Amsterdam 🇳🇱) will give a talk on "Degrees of the Finite Model Property for Superintuitionistic and Modal Logics"! 🗓️ Tuesday, April 16 at 13:00 hours | Seminar Room Gödel TU Wien ℹ️ and abstract: vcla.at/2024/04/talk-b…

Thank you Byron Cook and Nikolaj Bjorner for your keynotes at the CySec kick-off TU Wien! On the top left of the slide, covering symbolic model checking, a picture of our rooftop dinner in Vienna, together with Laura Kovacs!

Kick-off event of the newly-established Cybersecurity Center (CySec) at TU Wien (with a wonderful view on the Viennese landscape)! Also a great opportunity to speak with companies and government representatives about security & privacy.

It was a pleasure to present today the new TU Wien CySec. Thanks to Byron Cook and Nikolaj Bjorner for the inspiring keynotes and to SBA Research - Science for better security TÜV AUSTRIA Group Cybersecurity Austria, UniCredit Bank Austria AG and Bundeskanzleramt for animating an exciting panel cysec.wien

Cybersecurity funktioniert am besten fächerübergreifend und vernetzt: Am 18.04. fand das Kick-Off des neuen CySec-Centers der TUW mit Expert_innen aus Politik, Wirtschaft und Cybersecurity statt. tuwien.at/tu-wien/aktuel… (c) Simon Jeanteur

📌 Save the Date! #LogicLounge 2024 will be held on May 28, 16:00 at Café Museum in #Vienna! Join us for this public discussion with computer scientist Georg Gottlob! Oxford Comp Sci TU Wien #logic 🤫 Admission-free, no registration necessary. Details will be added shortly!

Happy International Women in Mathematics Day! Maryam Mirzakhani won the Fields Medal in 2014 for her important contributions to geometry and dynamical systems. May 12 was Mirzakhani’s birthday, and now it is a day to celebrate all women in the mathematical sciences. #WomenInMath

💡 David Pearce from Universidad Politécnica de Madrid will propose a design approach to applied logics in his talk "Logic, Accountability and Design"! 🗓️ Wednesday, Jun 5 at 15:00 hours TU Wien Join via Zoom! ℹ️ and abstract: vcla.at/2024/06/talk-b…

Interested to know why payment channels are not secure against miners willing to be bribed and how we can fix that? Take a look at our new ACM CCS 2025 paper made with love TU Wien CySec S&P TU Wien . Joint work with Zeta Avarikioti Lukas Aumayr Subhra Mazumdar

👏 Congratulations to Matteo Maffei (member of the Executive Board of the VCLA) on receiving an ERC Advanced Grant for his project BlockSec! Together with his team, he will be conducting research into the security aspects of blockchain technologies. tuwien.at/en/tu-wien/new…

Věra Jourová Yes, it does break encryption as well as privacy. I don’t know a single security or privacy researcher that is not opposing to your draft. We repeatedly signed letters explaining you why it violates the human rights of EU citizens and it is also does not solve the CSAM problem at

Last day of the workshop on "Asinchronus Hyperproperties: from Theory to Practice"! Kudos to Ana Oliveira da Costa and SPyCoDe_AT for organising this event, and big thanks to all the speakers!

Das Hauptargument des Bundeskanzleramt ist falsch: Chat-Überwachung verbessert nicht, sondern untergrabt die Sicherheit der Gesellschaft. Bürger werden von sicherer Kommunikation abgeschnitten und Kriminelle werden sichere Messenger selbst bauen. Österreichische und Europäische

Austrian citizens! When you hear your government saying they want to install Trojaners, backdoors etc on your phones…read the article below and you get an idea about what would happen. This is the reason why security researchers oppose and say that such terrible ideas undermine

💗 Today is #AdaLovelaceDay! Ada Lovelace, daughter of the famous poet Lord Byron, is considered the world's first computer programmer. To celebrate the achievements of women in STEM, we encourage you to share which women have inspired you over the years! ✏️

Many thanks to Ben Stock for giving a talk on reproducible and ethical web security measurements as part of the CySec series at TU Wien. More info at cysec.wien/news/2024-11-1… S&P TU Wien @CISPA

Looking forward to it 😊

Women's power for cybersecurity! Our event on Nov 14, organized with U.S. Embassy Vienna, featured top US experts like Laura Williams, Christina Bergen, and Susan Danewitz, alongside researchers from TU Wien, the Shecurity network, and the Complexity Science Hub. Fruitful exchange on key topics!