Am 7. Mai 2024 hat unser Kollege Thorsten Koch erfolgreich seine Promotion bei Professor Eric Bodden abgeschlossen. In seinem Dissertationsvorhaben entwickelte er einen Ansatz zur Spezifikation und Verifikation von Security Protokollen sowie deren Verwendung im szenario-basierten Requirements Engineering.
mehr Info