The Formal Methods for Security Engineering Group at the RWTH Aachen develops formal methods, techniques, and tools for the development of secure and reliable software systems.

We are involved in the following work packages and tasks. Task leadership is indicated with a :

• Work Package 1: Security Requirements
  • Task 1.1: Information Flow Security Policies

• Work Package 2: Type-Based Verification
  • Task 2.1: Types for Information Flow Security
  • Task 2.2: Mechanisms for Safe Information Release

Contact: Dr. Heiko Mantel