Home
Research
Education
Initiatives ▾
Blockchain Hub
#SafeSecLab
TrustACPS Doctoral School
Projects
Faculty
Partners
About ▾
Mission
Contact
Menu
Home
Research
Education
Initiatives
Blockchain Hub
#SafeSecLab
TrustACPS Doctoral School
Projects
Faculty
Partners
About
Mission
Contact
Projects Highlights
Grouped by funding agencies
European Research Council (ERC)
ARTIST
Automated Reasoning with Theories and Induction for Software Technologies
BlockSec
Formal Methods for Secure Blockchain-Oriented Programming
Browsec
Foundations and Tools for Client-Side Web Security
Testing Program Analyzers Ad Absurdum
Testing Program Analyzers Ad Absurdum
Christian Doppler Laboratory (CDL)
CDL-BOT
Christian Doppler Laboratory Blockchain Technologies for the Internet of Things
Austrian Science Fund (FWF)
SPyCoDe
Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design
Vienna Science and Technology Fund (WWTF)
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
COnFIDE
VRG-18
Cryptographic Foundations of Privacy in Distributed Ledgers
ForSmart
ICT-22
Effective Formal Methods for Smart-Contract Certification
SCALE2
ICT-22
Scalable, Private, and Interoperable Layer 2
TAIGER
ICT-22
Training and Guiding AI Agents with Ethical Rules
Joint Ventures
SafeSecLab
Joint Venture of TÜV AUSTRIA and TU Wien
