Foundations of Computer Security

In diesem Seminar werden aktuelle Forschungsfragen, -projekte und -resultate behandelt, die auf eine Verbesserung der Grundlagen der IT-Sicherheit zielen. Der Fokus liegt hierbei auf aktuellen Arbeiten zu den theoretischen und methodischen Grundlagen, die formale Methoden einsetzen und/oder entwickeln. Die Klärung der logischen Grundlagen der IT-Sicherheit spielt eine zentrale Rolle, um zuverlässige Sicherheitsgarantien zu ermöglichen sowie bei der Zertifizierung sicherheitskritischer Systeme. Die Verwendung formaler Modelle und Methoden hat eine lange und erfolgreiche Tradition im Bereich IT-Sicherheit. Für Studierende, die sich für Logik, Algebra, formale Sprachen, formale Verifikation oder Programmanalysen interessieren, ist IT-Sicherheit ein sinnvolles Anwendungsgebiet mit vielen spannenden Herausforderungen.