dependable-systems

Secure and Dependable Systems

About Course: Secure and Dependable Systems (CO-566) Semester: Spring 2022 Instructor: Jürgen Schönwälder Office Hours: Monday, 11:15-12:30, R.1-87 TA: Class: Tuesday, 15:45-17:00, RLH-274 Seminar Room Class: Thursday, 15:45-17:00, R.1-53 Lecture Hall 1st Module Exam: 2nd Module Exam: Content and Educational Aims This module introduces students to the fundamentals of computer security and techniques used to build and analyze dependable 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.1-53 Lecture Hall Content and Educational Aims This module introduces students to the fundamentals of computer security and techniques used to build and analyze dependable systems.

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.1-53 Lecture Hall) 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 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. The course starts off with a clarification of concepts such as dependability, quality, safety, and security of software systems, and how to achieve them in the software development process.

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. The course starts off with a clarification of concepts such as dependability, quality, safety, and security of software systems, and how to achieve them in the software development process.