Lecture

Secure Software Systems

Name in diploma supplement

Secure Software Systems

Organisational Unit

Lehrstuhl für Sichere Software Systeme

Lecturers

Prof. Dr. Lucas Davi

Cycle

winter semester

SPW

2

Language

German

Participants at most

no limit

Participants

• LA Info GyGe MasterWahlpflichtbereich Informatik 1.-3. Sem, Elective, Module Secure Software Systems
• Mathe MasterAnwendungsfach "Informatik"weitere Informatik-Module 1.-4. Sem, Elective, Module Secure Software Systems
• SNE MasterWahlpflichtbereich 1.-3. Sem, Elective, Module Secure Software Systems
• TechMathe MasterAnwendungsfach "Informatik"weitere Informatik-Module 1.-4. Sem, Elective, Module Secure Software Systems
• WiInf MasterWahlpflichtbereichWahlpflichtbereich II: Informatik, BWL, VWLWahlpflichtmodule der Informatik 1.-3. Sem, Elective, Module Secure Software Systems

Preliminary knowledge

Grundlegende Kenntnisse in Programmierung und Software Engineering

Abstract

In dieser Vorlesung erhalten die Studenten einen Überblick über aktuelle Forschung, Angriffstechniken und Abwehrmethoden im Bereich der Software- und Systemsicherheit. Es werden Sicherheitsprobleme und Schutztechnologien auf Applikations- und Betriebssysteme für unterschiedliche Rechnerarchitekturen (Desktop PCs, mobile und eingebettete Systeme) analysiert. Ein besonderer Fokus dieser Vorlesung ist die Verwundbarkeit von Softwaresystemen gegenüber Laufzeitangriffen (Exploits). Ziel der Vorlesung ist sowohl das Verständnis von modernen, praktischen Angriffstechniken gegen Softwaresysteme als auch die Entwicklung und Anwendung von Sicherheitstechnologien für Softwaresysteme.

Contents

1. Konventionelle und fortgeschrittene Software Exploittechniken (Buffer Overflow, Return-Oriented Programming)
2. Entwicklung von Sicherheitstechnologien zur Detektion und Prävention von Software Exploits (Programmfluss-Integrität, Speicherrandomisierung)
3. Software Fault Isolation und Application Sandboxing
4. Betriebssystemsicherheit und Zugriffsmodelle mit praktischen Beispielen anhand von Sicherheitsarchitekturen in Multics, Android und Windows
5. Trusted Computing Konzepte
6. Hardware-basierte Konzepte zur Unterstützung von Softwaresicherheit

Literature

• T. Jaeger: Operating System Security, Morgan & Claypool, 2008
• C. Anley, J. Heasman, F. Lindner, G. Richarte: The Shellcoder's Handbook: Discovering and Exploiting Security Holes, Wiley, 2007
• L. Davi: Building Secure Defenses Against Code-Reuse Attacks, Springer, 2015
• R. Anderson. Security Engineering: A Guide to Building Dependable Distributed Systems, Wiley, 2008
• Aktuelle wissenschaftliche Publikationen von einschlägigen Sicherheitstagungen (werden in der Vorlesung bekannt gegeben)