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

SemesterSpring Semester 2022
LecturersM. Vechev
Periodicityyearly recurring course
Language of instructionEnglish


263-2925-00 VProgram Analysis for System Security and Reliability2 hrs
Thu16:15-18:00LFO C 13 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Thu13:15-14:00CAB G 51 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability3 hrsM. Vechev

Catalogue data

AbstractSecurity 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.
Objective* 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.
ContentPlease see: Link for detailed course content.

Performance assessment

Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits7 credits
ExaminersM. Vechev
Typesession examination
Language of examinationEnglish
RepetitionThe performance assessment is only offered in the session after the course unit. Repetition only possible after re-enrolling.
Mode of examinationwritten 120 minutes
Additional information on mode of examination50% of the grade is determined by mandatory course projects, 50% of the grade is determined by a written 2 hr exam
Written aidsNone
This information can be updated until the beginning of the semester; information on the examination timetable is binding.

Learning materials

Main linkInformation
Only public learning materials are listed.


No information on groups available.


There are no additional restrictions for the registration.

Offered in

CAS in Computer ScienceFocus Courses and ElectivesWInformation
Cyber Security MasterElectivesWInformation
Data Science MasterCore ElectivesWInformation
Computer Science MasterCore CoursesWInformation
Computer Science MasterCore Focus Courses General StudiesWInformation
Computer Science MasterMinor in Information SecurityWInformation
Computer Science MasterMinor in Programming Languages and Software EngineeringWInformation
Computer Science MasterMinor in Systems SoftwareWInformation