secure-systems

Secure and Dependable Systems

About Course: Secure and Dependable Systems (CO-566) Semester: Spring 2021 Instructor: Jürgen Schönwälder Office Hours: Monday, 11:15-12:30, R.1-87 TA: Raja Abdur Rafey Class: Tuesday, 15:45-17:00, R.3-51 Lecture Hall Class: Wednesday, 14:15-15:30, RLH-172 Conrad Naber Lecture Hall 1st Module Exam: Tuesday, 2021-05-18, 16:00-18:00, ICC-West Wing Conference Hall 2nd Module Exam: Tuesday, 2021-08-24, 14:00-16:00, R.

Secure and 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.

Secure and Dependable Systems

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) Content This course introduces formal methods for analyzing and assuring safety and security of software systems.

Secure and Dependable 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 Content This course introduces formal methods for analyzing and assuring safety and security of software systems.