Home
Research
Education
Projects
Faculty
Partners
About ▾
Mission
Contact
Menu
Home
Research
Education
Projects
Faculty
Partners
About
Mission
Contact
Projects Highlights
ARTIST
Automated Reasoning with Theories and Induction for Software Technologies
BREADS
VRG23
Building Robust and Explainable AI-based Defenses for Computer Security
Broken Bridge
ICT-22
Fixing the Broken Bridge Between Mobile Apps and the Web
Browsec
Foundations and Tools for Client-Side Web Security
CDL-BOT
Christian Doppler Laboratory Blockchain Technologies for the Internet of Things
COnFIDE
VRG-18
Cryptographic Foundations of Privacy in Distributed Ledgers
ForSmart
ICT-22
Effective Formal Methods for Smart-Contract Certification
SafeSecLab
Joint Venture of TÜV AUSTRIA and TU Wien
SCALE2
ICT-22
Scalable, Private, and Interoperable Layer 2
SPyCoDe
Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design
TAIGER
ICT-22
Training and Guiding AI Agents with Ethical Rules
Testing Program Analyzers Ad Absurdum
Testing Program Analyzers Ad Absurdum
