When assessing the security of IT systems, one needs to take into account which capabilities and which intentions the potential attackers might have. The purpose of attacker models is to make an attacker's capabilities, goals, or other aspects explicit. Formal foundations of attacker models increase precision, avoid ambiguities, and provide a basis for automatic security analyses.
Why participate in this seminar?
- established research topic
- block seminar on 1 or 2 days
- 1 paper to read, 1 talk to give, 1 report to write
- supervision and feedback
- Dozent*in: Florian Dewald
- Dozent*in: Görkem Kilinc