News

Alessandro Abate is a Guest Professor at TUW

Alessandro Abate (University of Oxford) will deliver a course on verification and synthesis for AI-enabled cyber-physical systems

Nikolaj Bjorner is a Guest Professor at TUW

Nikolaj Bjorner (Microsoft Research) will deliver a course "SMT Internals"

Upcoming 2025-10-30

Static Analysis for Android GDPR Compliance Assurance

Lecture by Mugdha Khedkar
Paderborn University

Upcoming 2025-11-11

LLMs for Software Vulnerability Detection: Holy Grail, Pandora's Box, or just a Fad?

Distinguished lecture
by Gianluca Stringhini
Boston University

Upcoming 2025-11-25

Security and Defence Research Day

Matteo Maffei and Tanja Zseby will present CySec to TU Wien researchers

Non-Interactive Verifiable Aggregation (NIVA)

Distinguished lecture
by Arkady Yerukhimovich
George Washington University

Two CySec Papers Accepted for Presentation at ASIACRYPT 2025

Dominique Schröder has co-authored two papers accepted to ASIACRYPT 2025

CySec gets 5 grants from WWTF

Five WWTF-ICT25 Projects Awarded to CySec Researchers at TU Wien

Summer School on Artificial Intelligence and Cybersecurity

The first Summer School on AI and Cybersecurity at TU Wien

Feedback-driven Autonomous Data Set Labeling for Denial-of-Service Attack Traffic

Lecture by Samuel Kopmann
Karlsruhe Institute of Technology

SERICS Summer School on Secure Software Development

CySec Showcases Cutting-Edge Advances in Cybersecurity

1st Workshop on Generic Attacks and Proofs in Symmetric Cryptography

Elena Andreeva delivered a lecture at GAPS 2025

Fragments of Hilbert's Program

Distinguished lecture
by Joël Ouaknine
Max Planck Institute for Software Systems

Four CySec Papers Presented at Crypto 2025

CySec researchers showcase their work at the flagship IACR conference

Five CySec Papers Presented at USENIX Security 2025

CySec Researchers Contribute Breakthroughs at the Top Security Conference

The Austrian hacking team is among the world’s top ten

Team KuK Hofhackerei Achieves 9th Place at DEF CON CTF Finals in Las Vegas

Historic Victory at the World’s Premier Theorem Proving Competition

Vampire theorem prover sweeps all eight theorem‑proving divisions at CASC

Everything We Do Is Being Monitored

Laura Kovacs and Georg Weissenbacher speak to Kronen Zeitung about cyber risks in everyday life

22nd Conference on Detection of Intrusions and Malware & Vulnerability Assessment

Daniel Arp delivered a keynote at DIMVA'25

Click, Reply, Lose: Understanding How Scammers Lure Users into Smishing Attacks

Lecture by Sharad Agarwal
University College London (UCL)

RobustifAI

TU Wien joins consortium to make Generative AI trustworthy

Vienna Ethical Hacking Bootcamp 2025

Training for Europe’s Hacker Championship

TU Wien Scientists Make Uncertainty in AI Measurable

TU Wien interdisciplinary team introduces a novel method at ICML 2025

10th IEEE European Symposium on Security and Privacy

Magdalena Steinböck and Martina Lindorfer present HALY Framework study challenging iOS security assumptions

Austrian Cybersecurity Challenge Finals 2025

CySec is proud to be a co-organizer of ACSC 2025

The TPTP World - Infrastructure for Automated Reasoning

Distinguished lecture
by Geoff Sutcliffe
University of Miami

Assume-Guarantee Contracts for Trustworthy Autonomous Cyber-Physical Systems

Distinguished lecture
by Pierluigi Nuzzo
UC Berkeley

Voices of Innovation: Women, Academia, and the Age of AI

Laura Kovács joined a discussion with leading female computer scientists

Austrian Computer Science Day 2025

Daniel Arp will deliver a Research Talk at ACSD 2025

Open Science Day at TU Wien

Marcus Huber and Laura Kovacs will share their expert insights

Older posts