20-00-0551-se Implementing Secure & Reliable Software

Lehrende: Dr. rer. nat. Abdelmajid Khelil; Dr. Jesus Luna; M.Sc. Can Arda Müftüoglu; Dipl.-Ing. Thorsten Piper; Prof. Ph. D. Neeraj Suri; Stefan Winter

Veranstaltungsart: Seminar

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: Implementing Secure

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:

Software Testing, Runtime Monitoring, Profiling, Security Analysis, Critical Infrastructures, Safety-Critical Systems

Literatur:

See www.deeds.informatik.tu-darmstadt.de

Voraussetzungen:

Software Engineering basics

Erwartete Teilnehmerzahl:

Weitere Informationen:

Offizielle Kursbeschreibung:

A steadily increasing number of items that we daily interact with is being equipped with computers (mobile phones, vending machines, cars, ...), including considerable amounts of software due to flexibility and cost considerations. While erroneous or insecure software may be annoying in some applications (e.g. an MP3 player that randomly mixes up your preferences every 0xFFFF seconds), it may threaten human lives in others: According to experts, software-based computer systems account for more than 80% of all innovations in modern cars and software is being used to control critical infrastructures, such as nuclear power plants. This seminar mirrors fundamental as well as very recent research work dedicated to the question how to implement reliable and secure software-intense systems. Examples for topics within the scope of the seminar are

• Security and reliability assessment & measurement (What is security/reliability? Can we measure it and how?)

• Vulnerability and defect modeling (How to analyze, communicate, and reason about bugs and loopholes?)

• Vulnerability and defect prevention (How to develop secure/reliable software?)
• Vulnerability and defect detection & removal techniques (How to test software for security and reliability?)