About Course: Secure and Dependable Systems (CO-566) Semester: Spring 2023 Prerequisites: Operating Systems (CO-562) Instructor: Jürgen Schönwälder Office Hours: Monday, 11:15-12:30, R.1-87 TA: Nikolozi Bodaveli Class: Tuesday, 15:45-17:00, RLH-172 Conrad Naber Lecture Hall Class: Thursday, 15:45-17:00, RLH-172 Conrad Naber Lecture Hall 1st Module Exam: 2023-05-23 18:00-20:00, ICC East Wing 2nd Module Exam: 2023-08-29 14:00-16:00, Research I, 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.
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: Mario Alberto Hernández Salamanca Class: Tuesday, 15:45-17:00, R.1-53 Lecture Hall Class: Thursday, 15:45-17:00, R.1-53 Lecture Hall Class: Friday, 15:45-17:00, R.2-52 Lecture Hall 1st Module Exam: Monday, 2022-05-30, 09:00-11:00, R.1-53 Lecture Hall 2nd Module Exam: Thursday, 2022-08-25, 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.
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.
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.
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.
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.