Course Material
Courses offered at ETH Zurich
- 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
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