News

Lecture by Samuel Teuber
Karlsruhe Institute of Technology

Distinguished lecture
by Nikolaj Bjorner
Microsoft Research

Three Presentations on Mobile, Web and Messaging Security and Review Recognition at USENIX Security ’26

Three Presentations on Blockchain, Zero-Knowledge Systems and Verifiable Computation at USENIX Security ’26

Daniel Arp Discusses the Growing Use of AI in Cyberattacks on ORF

Vampire Theorem Prover Defends its CASC Title with Another Clean Sweep

Presentation at the 39th IEEE Computer Security Foundations Symposium

CySec Presented Research Results at the 38th International Conference on Computer Aided Verification

Presentation at the 26th Privacy Enhancing Technologies Symposium

Lecture by Michael Reichle
ETH Zürich

Hands-on ethical hacking for Europe’s cyber talents

CySec Presented Research on Smart TV and Smart Home Security

Prof. Maria Christakis Receives ERC Proof of Concept Grant

Fostering girls’ digital innovation competencies

Lecture by Robert Jones
Amazon AWS

Lecture by Jelena Milosevic
FHNW

Lecture by S. Akshay
IIT Bombay

TU Wien Team to Present New Research on Collaborative Digital Signatures

Lecture by Mark Bentley Richardson
Bancor

CySec is looking for a Senior Coordinator and a Communication Expert

Distinguished lecture
by Peter Müller
ETH Zurich

Laura Kovács Becomes Member of the Austrian Academy of Sciences

Georgia Avarikioti awarded the Käthe Böhm Fellowship

Lecture by Georgia Avarikioti
TUW

Lecture by Sophie Rain
Argot Collective

Distinguished lecture
by Margus Veanes
Microsoft Research Lab – Redmond

Maria Christakis is honored for advancing the foundations and practice of reliable software engineering

Presentation at the Real World Crypto Symposium 2026

Research Grant Awarded to TU Wien Team to Uncover the Axioms of Mathematics

The CySec Faculty Presented a Range of Educational Programs and Cybersecurity-Related Courses