Course Material

Courses offered at ETH Zurich

• Formal Methods and Functional Programming, SS 2025.
• Information Security, SS 2026.
• Security Engineering, AS 2024.
• Formal Methods and Functional Programming, SS 2024.
• Information Security, SS 2024.
• Security Engineering, AS 2023.
• Applied Security Laboratory, AS 2023.
• Information Security Lab, AS 2023.
• Formal Methods and Functional Programming, SS 2023.
• Information Security, SS 2023.
• Security Engineering, AS 2022.
• Information Security Lab, AS 2022.
• Formal Methods and Functional Programming, SS 2021.
• Information Security, SS 2021.
• Security Engineering, AS 2020.
• Information Security Lab, AS 2020.
• Applied Security Laboratory, AS 2020.
• Information Security, SS 2020.
• Security Engineering, AS 2019.
• Applied Security Laboratory, AS 2019.
• Formal Methods and Functional Programming, SS 2019.
• Information Security, SS 2019.
• Security Engineering, AS 2018.
• Applied Security Laboratory, AS 2018.
• Formal Methods and Functional Programming, SS 2018.
• Information Security, SS 2018.
• Security Engineering, AS 2017.
• Applied Security Laboratory, AS 2017.
• Formal Methods and Functional Programming, SS 2017.
• Information Security, SS 2017.
• Security Engineering, AS 2016.
• Applied Security Laboratory, AS 2016.
• Formal Methods and Functional Programming, SS 2016.
• Information Security, SS 2016.
• Security Engineering, AS 2015.
• Applied Security Laboratory, AS 2015.
• Formal Methods and Functional Programming, SS 2015.
• Information Security, SS 2015.
• Security Engineering, AS 2014.
• Applied Security Laboratory, AS 2014.
• Security Engineering, AS 2013.
• Applied Security Laboratory, AS 2013.
• Formal Methods and Functional Programming, SS 2013.
• Information Security, SS 2013.
• Security Engineering, AS 2012.
• Applied Security Laboratory, AS 2012.
• Formal Methods and Functional Programming, SS 2012.
• Information Security, SS 2012.
• Security Engineering, AS 2011.
• Applied Security Laboratory, AS 2011.
• Software and Security Testing, AS 2011.
• Formal Methods and Functional Programming, SS 2011.
• Information Security, SS 2011.
• Security Engineering, AS 2010.
• Applied Security Laboratory, AS 2010.
• Formal Methods and Functional Programming, SS 2010.
• Information Security, SS 2010.
• Security Engineering, AS 2009.
• Applied Security Laboratory, AS 2009.
• Formal Methods and Functional Programming, SS 2009.
• Information Security, SS 2009.
• Security Engineering, AS 2008.
• System Development in Event B, AS 2008.
• Applied Security Laboratory, AS 2008.
• Security Engineering, AS 2007.
• System Development in Event B, AS 2007.
• Applied Security Laboratory, AS 2007.
• Formal Methods and Functional Programming, SS 2007.
• Information Security, SS 2007.
• Security Engineering, WS 2006.
• Applied Security Laboratory, WS 2006.
• Formal Methods and Functional Programming, SS 2006.
• Information Security, SS 2006.
• Security Engineering, WS 2005.
• Applied Security Laboratory, WS 2005.
• Formal Methods and Functional Programming, SS 2005.
• Information Security, SS 2005.
• Applied Security Laboratory, WS 2004.
• Computer Supported Modeling and Reasoning, WS 2004.
• Theory of Computation, SS 2004.
• Information Security, WS 2003.
• Informatik III, WS 2003.
• Information Security, SS 2003.
• Security Protocols and Applications, SS 2003.

Tutorials and talks

• Runtime Verification Tutorial on Enforcement and on Monitoring, 2014
• FOSAD 11 Tutorial on Model Driven Security, 2011
• FLOC Invited Talk on Policy Monitoring in First-order Temporal Logic, 2010
• VPSM Tutorial on Model Checking with OFMC/AVISPA, 2006
• FOSAD Tutorial on Model Driven Security, 2005
• CAV Tutorial on Monadic Logics and their Applications, 2001

Courses offered at the University of Freiburg

• Oberseminar der Arbeitsgruppe Softwaretechnik
• IT-Security: Theory and Practice, WS 2002
• Computer Supported Modeling and Reasoning, WS 2002
• Automata Based System Analysis, WS 2002
• Software Engineering, SS 2002
• Software Praktikum: verteiltes programmieren in Java, SS 2002
• Automata Based System Analysis, SS 2002
• Seminar: Tools and Methods for Automatic Program Generation, SS 2002
• Theoretical Computer Science (Informatik III), WS 2001
• IT-Security: Theory and Practice, WS 2001
• Computer Supported Modeling and Reasoning, WS 2001
• Computerunterstütztes Modellieren und Beweisen, WS 2000
• Theorie und Praxis der IT-Sicherheit, WS 2000
• Softwarepraktikum, WS 2000
• Seminar: Reasoning about Large and Infinite State Systems, WS 2000
• Seminar: Softwarearchitekturen, WS 2000
• Softwaretechnik, SS 2000
• Softwarepraktikum, SS 2000
• Seminar: Konzepte der Programmierung im Grossen, SS 2000
• Teleseminar: Architekturen für Smartcards, SS 2000
• Seminar: Spiele: Theorie und Praxis, Erfolge und Herausforderungen, SS 2000
• Informatik I, WS 1999
• Softwaretechnik II, WS 1999
• Theorie und Praxis der IT-Sicherheit, WS 1999
• Softwaretechnik, SS 99
• Seminar: Model Checking, SS 1999
• Seminar: Programmentwicklung durch Verfeinerung, SS 1999
• Softwaretechnik, SS 1998
• Formale Aspekte der Computersicherheit, WS 1998
• Computer Supported Modeling and Reasoning, WS 1997
• Security Logics, WS 1997
• Softwaretechnik, SS 1997
• Verifikation nebenläufiger Programme, , SS 1997

  ---

  Back to David Basin