In recent years, computer systems security has evolved from an elitist asset of highly specialized systems to a key property in almost all application areas. Vital sectors of our society, such as energy, water, traffic management, financial management, production, administration and research, are highly dependent on the security of computer systems.
Computer security has made huge advances in the last two decades and is nowadays among the key topics in computer science. This course focusses on the basic paradigms, methods and concepts of the field of security engineering – the methodical engineering of a computer system's security properties.
Course topics are
security policies and their formal models
security policy specification
Course material can be found on moodle
Pay Attention to Infection Prevention Regulations
A good learning experience inevitable requires personal interaction and discussion. Since I highlight the importance of active learning and debating, even for a lecture format, and since we will work on some practical tasks during the seminars, let us all make sure to adhere to the university's COVID preventions strategy and according regulations.
Together with you as participants, I am looking forward to a complete semester of personal teaching, supervision, and successful exams!
– P. A.
Algorithms and Data Structures
abstract data types: algebras
standard data types: graphs, trees, sets, linked and hash lists
algorithms: computational complexity and decidability
Automata and Formal Languages
patterns and regular expressions
iteration, induction, recursion
fundamental OS abstractions
concurrency and synchronization
protocols and protocol layers
basic cryptographic mechanisms