About Course: Secure and Dependable Systems (CO-566)
Semester: Spring 2021
Instructor: Jürgen Schönwälder
TA: TBD
TA: TBD
Class: Tuesday, 15:45-17:00
Class: Friday, 14:15-15:30
Office Hours: Monday, 11:15-12:30 (Research I, Room 87)
Final Exam: TBD
Makeup Exam: TBD
Start: 2021-02-02
Content and Educational Aims This module introduces students to the fundamentals of computer security and techniques used to build and analyze dependable systems.
About Course: Secure and Dependable Systems (CO21-320203)
Semester: Spring 2020
Instructor: Jürgen Schönwälder
TA: Dung Tri Huynh
TA: Irsida Mana
Class: Thursday, 14:15-15:30, R.1-53 Lecture Hall
Class: Friday, 11:15-12:30, RLH-274 Seminar Room
Office Hours: Monday, 11:15-12:30 (Research I, Room 87)
Final Exam: Thursday, 2020-05-28 12:30-14:30 (SCC - Hall 4)
Makeup Exam: Monday, 2020-08-31 17:00-19:00 (R.
About Course: Secure and Dependable Systems (CO21-320203)
Semester: Spring 2019
Instructor: Jürgen Schönwälder
TA: Milen Vitanov
TA: Aditya Dandekar
Class: Tuesday, 14:15-15:30, Lecture Hall Research I
Class: Thursday, 14:15-15:30, East Hall 4
Office: Monday, 11:15-12:30 (Research I, Room 87)
Start: 2019-02-05
Content This course introduces formal methods for analyzing and assuring safety and security of software systems.
About Course: Secure and Dependable Systems (CO21-320203)
Semester: Spring 2018
Instructor: Jürgen Schönwälder
TA: Yufei Liu
TA: Orgest Xhelili
Class: Monday, 08:15-09:30, Lecture Hall Research I
Class: Friday, 09:45-11:00, Conference Room Research IV
Start: 2018-02-02
Content This course introduces formal methods for analyzing and assuring safety and security of software systems.