Willkommen!

Unser Ziel ist die Entwicklung zertifizierbarer vertrauenswürdiger Informatiksysteme. Schwerpunkte in Forschung und Lehre liegen an der Schnittstelle von Softwaretechnik und Informations- sowie Funktionssicherheit, isbesondere in der verteilten Daten-Nutzungskontrolle und im Testen. Wir existieren seit August 2010 am KIT.

• Einreichungen und Teilnahme erwünscht beim WWW12-Workshop zu Data Usage Management on the Web
• Demovideos zu unseren Arbeiten im Bereich verteilter Nutzungskontrolle und Security Testing
• Lehrveranstaltungen im Wintersemester 2011/2012: Programmieren (Bachelor), Security Engineering (Master), Seminar Sichere IT-Systeme (Master), Oberseminar Zertifizierbare Vertrauenswürdige Informatiksysteme
• Einreichungen erwünscht bei IEEE Transactions on Dependable and Secure Computing,  The Journal of Software Testing, Verification and Reliability, The Journal of Software and Systems Modeling
• KASTEL: Kompetenzzentrum für Angewandte Sicherheits-Technologie
• Google focused research award: CARLA - Distributed Usage Control in the Cloud
• sadan-Projekt zur systemweiten abstraktionsebenenübergreifenden datengetriebenen Nutzungskontrolle (DFG)
• SPACIOS-Projekt zum modellbasiertes Security-Testen (EU-STREP)
• Google research award: "Towards Operational Privacy"