ECMM462: Fundamentals of Security

Our modern life depends on the security of computerised systems ranging from social aspects (e.g. phishing) to technical and mathematical aspects (e.g.
access control, encryption). This module teaches the fundamental concepts related to security (e.g. cyber security, data security, information security, computer security). You will learn core security concepts (e.g. authenticity, confidentiality, anonymity, privacy) and core technologies (e.g. encryption, authentication, authorisation). Moreover, you will learn the basic attacks on security systems and approaches to formally verify the correctness of security techniques.

Module Page: https://vle.exeter.ac.uk/course/view.php?id=9204

ECM 1417: Web Development

The web is an ubiquitous part of modern-day life and a web presence is vital for almost every individual and business. This module will introduce you to the fundamental concepts of web development such as the architecture of the web and patterns for the development of secure and robust web applications. In addition, you will learn concrete techniques implementing these concepts such as HTML, CSS, Javascript, PHP, MySQL, XML and Web Services.

Module Page: http://udb2.emps.ex.ac.uk/api/index.php/databases/teaching/modules/modulecode/ECM1417/pdffile?year=2019


Model-Based Engineering of Embedded Systems

I was involved in the development of a Massive Open Online Course on . The complete course will be available soon. Here you can find a demo version of the course containing some of the lectures (in German). Under „Module 1: System Architect“, you can find my lecture on formal analysis techniques for system architectures.

In addition, I was involved in the following teaching activities: