263-2925-00L  Program Analysis for System Security and Reliability

SemesterFrühjahrssemester 2022
DozierendeM. Vechev
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch



Lehrveranstaltungen

NummerTitelUmfangDozierende
263-2925-00 VProgram Analysis for System Security and Reliability2 Std.
Do16:15-18:00LFO C 13 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 Std.
Do13:15-14:00CAB G 51 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability3 Std.M. Vechev

Katalogdaten

KurzbeschreibungSecurity issues in modern systems (blockchains, datacenters, deep learning, etc.) result in billions of losses due to hacks and system downtime. This course introduces fundamental techniques (ranging over automated analysis, machine learning, synthesis, zero-knowledge, differential privacy, and their combinations) that can be applied in practice so to build more secure and reliable modern systems.
Lernziel* Understand the fundamental techniques used to create modern security and reliability analysis engines that are used worldwide.

* Understand how symbolic techniques are combined with machine learning (e.g., deep learning, reinforcement learning) so to create new kinds of learning-based analyzers.

* Understand how to quantify and fix security and reliability issues in modern deep learning models.

* Understand open research questions from both theoretical and practical perspectives.
InhaltPlease see: Link for detailed course content.

Leistungskontrolle

Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte7 KP
PrüfendeM. Vechev
FormSessionsprüfung
PrüfungsspracheEnglisch
RepetitionDie Leistungskontrolle wird nur in der Session nach der Lerneinheit angeboten. Die Repetition ist nur nach erneuter Belegung möglich.
Prüfungsmodusschriftlich 120 Minuten
Zusatzinformation zum Prüfungsmodus50% of the grade is determined by mandatory course projects, 50% of the grade is determined by a written 2 hr exam
Hilfsmittel schriftlichKeine
Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan.

Lernmaterialien

 
HauptlinkInformation
Es werden nur die öffentlichen Lernmaterialien aufgeführt.

Gruppen

Keine Informationen zu Gruppen vorhanden.

Einschränkungen

Keine zusätzlichen Belegungseinschränkungen vorhanden.

Angeboten in

StudiengangBereichTyp
CAS in InformatikVertiefungsfächer und WahlfächerWInformation
Cyber Security MasterWahlfächerWInformation
Data Science MasterWählbare KernfächerWInformation
Informatik MasterKernfächerWInformation
Informatik MasterKernfächer der Vertiefung General StudiesWInformation
Informatik MasterErgänzung in Information SecurityWInformation
Informatik MasterErgänzung in Programming Languages and Software EngineeringWInformation
Informatik MasterErgänzung in Systems SoftwareWInformation