News
Events
Research
Education
Projects
Faculty
Contact
Menu
News
Events
Research
Education
Projects
Faculty
Contact
Projects Highlights
ARTIST
Automated Reasoning with Theories and Induction for Software Technologies
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
