Teaching

Our group is currently involved in the following courses:

Masters Degree in Cyber Security: Course Director – Daniel Prince

https://www.lancaster.ac.uk/study/postgraduate/postgraduate-courses/cyber-security-msc/
2020/2021
  • SCC.363: Security and Risk
  • SCC.441: Information System Security Management
  • SCC.439: Network and Systems Security
2019/2020
  • SCC.363 Security and Risk
  • SCC.441: Information System Security Management
  • SCC.442: Penetration Testing
  • SCC.443: Digital forensics
  • SCC.444: Information Security Risk Management
2018/2019
  • SCC.130: Information Systems: Fundamentals of Databases
  • SCC.441: Information System Security Management
Past courses at TU Darmstadt Germany:
WiSe 2019
  • Reliable Software and Operating Systems
  • Innovative Operating Systsem Elements (seminar)
SoSe 2019
  • Reliable Software and Operating Systems (course)
  • Software Dependability Lab (lab)
  • Security and the Cloud – The Issues and Metrics (seminar)
  • Innovative Operating System Elements (seminar)
  • Rigorous and Formal Analysis of Dependable Software (seminar)
 
WiSe 2018
  • BetriebssystemeSoftware Dependability Lab (lab)
  • Security and the Cloud – The Issues and Metrics (seminar)
  • Innovative Operating System Elements (seminar)
  • Program Analysis and Software Testing (seminar)
  • Rigorous and Formal Analysis of Dependable Software (seminar)
 
SoSe 2018
  • Reliable Software and Operating Systems (course)
  • Software Dependability Lab (lab)
  • Security and the Cloud – The Issues and Metrics (seminar)
  • Innovative Operating System Elements (seminar)
  • Program Analysis and Software Testing (seminar)
  • Rigorous and Formal Analysis of Dependable Software (seminar) 
WiSe 2017
  • Betriebssysteme
  • Software Dependability Lab
  • Program Analysis and Software Testing (seminar)
  • Innovative Operating System Elements (seminar)
  • Rigorous and Formal Analysis of Dependable Software (seminar)
  • Security and the Cloud – the Issues and Metrics (seminar)
SS 2017
  • Reliable Software and Operating Systems (course)
  • Software Dependability Lab (lab)
  • Security and the Cloud – The Issues and Metrics (seminar)
  • Innovative Operating System Elements (seminar)
  • Program Analysis and Software Testing (seminar)
  • Rigorous and Formal Analysis of Dependable Software (seminar)
WS 2016/2017
  • Operating Systems (course)
  • Software Dependability Lab (lab)
  • Security and the Cloud – The Issues and Metrics (seminar)
  • Innovative Operating System Elements (seminar)
  • Program Analysis and Software Testing (seminar)
  • Rigorous and Formal Analysis of Dependable Software (seminar)
SS 2016
  • Operating Systems II: Dependability and Trust (course)
  • Software Dependability Lab (lab)
  • Building and Breaking Complex Software Systems (seminar)
  • Security and the Cloud – the Issues and Metrics (seminar)
WS 2015/2016
  • Operating Systems (course)
  • Software Dependability Lab (lab)
  • Building and Breaking Complex Software Systems (seminar)
  • Security and the Cloud – the Issues and Metrics (seminar)
SS 2015
  • Operating Systems II: Dependability and Trust (course)
  • Building and Breaking Complex Software Systems (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security and the Cloud – the Issues and Metrics (seminar)
WS 2014/2015
  • Operating Systems (course)
  • Building and Breaking Complex Software Systems (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security and the Cloud – the Issues and Metrics (seminar)
  • Smart Grid Informatics & Trustworthiness (seminar)
SS 2014
  • Operating Systems II: Dependability and Trust (course)
  • Building and Breaking Complex Software Systems (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security and the Cloud – the Issues and Metrics (seminar)
  • Smart Grid Informatics & Trustworthiness (seminar)
WS 2013/2014
  • Operating Systems (course)
  • Building and Breaking Complex Software Systems (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security and the Cloud – the Issues and Metrics (seminar)
  • Smart Grid Informatics & Trustworthiness (seminar)
SS 2013
  • Operating Systems II: Dependability and Trust (course)
  • Building and Breaking Complex Software Systems (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Smart Grid Informatics & Trustworthiness (seminar)
WS 2012/2013
  • Operating Systems (course)
  • Building and Breaking Operating Systems (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Smart Grid Informatics & Trustworthiness (seminar)
SS 2012
  • Operating Systems II: Dependability and Trust (course)
  • Dependable/Secure Mobile Computing (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Building and Breaking Operating Systems (seminar)
WS 2011/2012
  • Operating Systems (course)
  • Dependable/Secure Mobile Computing (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Building and Breaking Operating Systems (seminar)
SS 2011
  • Dependable/Secure Mobile Computing (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Building and Breaking Operating Systems (seminar)
WS 2010/2011
  • Operating Systems (course)
  • Dependable/Secure Mobile Computing (seminar)
  • Implementing Secure & Reliable Software (seminar)
SS 2010
  • Operating Systems II: Depandability and Trust (course) new lecture!
  • Measuring Security and Trustworthiness (seminar)
  • Reliable/Secure Wireless Sensor Cooperation (seminar)
WS 2009/2010
  • Operating Systems (course) new labs -> hands-on with mobile devices!
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)
SS 2009
  • SW/OS Fault-Tolerance (course)
  • Model based development of security-relevant embedded systems (course, in German)
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)
WS 2008/2009
  • Operating Systems (course)
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)
SS 2008
  • Introduction to Computer Science II (course)
  • GDI II
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)
WS 2007/2008
  • SW/OS Fault-Tolerance (course)
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)
  • Introduction in Trusted Systems (Kanonik)
SS 2007:
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)
WS 2006/2007:
  • Operating Systems (course)
  • Mobile Embedded Systems (seminar)
  • Secure/Trusted Operating Systems (seminar)
  • Introduction in Trusted Systems (Kanonik)
SS 2006:
  • Introduction to Computer Science II (course)
  • GDI II
  • Software Testing (seminar)
  • Robust Software Systems (seminar)
WS 2005/2006:
  • Trustworthy Operating Systems (course)
  • Dependable Embedded Systems (seminar)
  • System Dependability and Security (seminar)
  • Introduction in Trusted Systems (Kanonik)
SS 2005:
  • Introduction to Computer Science 2
WS 2004/2005:
  • Dependability I: Reliable Distributed Systems (course)
  • Introduction in Trusted Systems (course)
  • System Dependability and Security (seminar)
  • Dependable Embedded Systems (seminar)
SS 2004:
  • Dependability II: Robust Software Systems (course)
  • Software Testing (seminar)
  • Robust Software Design (seminar)
WS 2003-2004:
  • Dependability I
Past courses at Boston University, NJ and Chalmers:
  • EDA 120 – Dependable Distributed and Embedded Systems
  • SC 312 – Advanced Computer Architectures
  • SC 790 – Dependable & Embedded Distributed Systems
  • CIS 630 – Advanced Operating Systems
  • CS 242 – Data Structures and Algorithm Design