About Course: Secure and Dependable Systems (CO-566) Semester: Spring 2023 Instructor: Jürgen Schönwälder Office Hours: Monday, 11:15-12:30, R.1-87 TA: TBD Class: Tuesday, 15:45-17:00, Student Activity Center - Hall 3 Class: Thursday, 15:45-17:00, RLH-172 Conrad Naber Lecture Hall 1st Module Exam: TBD 2nd Module Exam: TBD Content and Educational Aims This module introduces students to the fundamentals of computer security and techniques used to build and analyze dependable systems. This is an important topic given that computer systems are increasingly embedded in everyday objects (such as light bulbs) and taking over important control functions (such as driving cars).
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.