Modular Security Verification for System-level Code using the Rabbit language
Master Project
of Ate-Jan de Vries
Modular Security Verification for System-level Code using the Rabbit language
Student: Ate-Jan de Vries
Supervisor(s): Benedikt Ahrens