Research Hub 3: Trustworthy Systems

Software systems form the backbone of today’s digital society, yet security failures often emerge from interactions across system layers. Research Hub 3 aims to develop cross-layer and cross-boundary security and privacy solutions that address these systemic vulnerabilities.

The research spans the entire software lifecycle, combining formal models, automated analysis tools, and practical defenses to provide strong security guarantees with low overhead. By advancing holistic software security, the hub helps protect complex systems against exploits, ransomware, and large-scale attacks.