|
Image
|
mais.informatik.tu-darmstadt.deMaterial
Materials for the seminar, including the list of articles that we discuss, will be available in Moodle.
Content
In this seminar, we will cover current research questions, research projects, and results that aim at improving computer security. The focus will be on research projects that employ and/or develop formal methods to advance the theoretical and methodological foundations of computer security. The clarification of logical foundations of security plays a crucial role in enabling reliable security guarantees and in the certification of security-critical systems. The use of formal models and formal methods in security has a long tradition and many success stories. For students interested in logic, algebra, formal languages, formal verification, or program analysis, computer security is a very sensible area of application, with many theoretically interesting challenges.
Learning Objectives
After successful participation in the course, you become acquainted with an unfamiliar subject by working with scientific papers. You are proficient in different techniques of library research (including accessing special databases). You can compare and contrast research results across multiple publications and perform an overarching evaluation of these results. You recognize the essential aspects of the examined works and are able to concisely present them to an audience with mixed prior experience on the subject, effectively applying a number of presentation techniques in the process. You are able to actively participate in a scientific discussion on the presented topics.
Prerequisites (Recommended)
Competences comparable to the first three semesters of the Bachelor program in Computer Science at TU Darmstadt, in particular, knowledge of at least one programming language and basic competences in the areas IT-Security, distributed systems, and formal methods.
