Skip to topic | Skip to bottom
... Mobius IST-15905

Start of topic | Skip to actions
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 stargold.gif:

  • 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