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

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



Courses

NumberTitleHoursLecturers
263-2925-00 VProgram Analysis for System Security and Reliability2 hrs
Tue16-18CAB G 51 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Thu13-14CAB 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 from automated analysis, machine learning, synthesis, zero-knowledge 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: https://www.sri.inf.ethz.ch/teaching/pass2021 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 offered every session. Repetition possible without re-enrolling for the course unit.
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.

Groups

No information on groups available.

Restrictions

There are no additional restrictions for the registration.

Offered in

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