The chair Theoretical Computer Science: Formal Methods and Information Security at the TU Darmstadt develops formal methods, techniques, and tools for the development of secure and reliable software systems. Up to and including March 2007 our group participated in Mobius as Formal Methods for Security Engineering Group at the RWTH Aachen.
We are involved in the following work packages and tasks. Task leadership is indicated with a 
:
:
- Work Package 2: Type-Based Verification
- Task 2.1: Types for Information Flow Security
- Task 2.2: Mechanisms for Safe Information Release
- Task 2.1: Types for Information Flow Security
Revision: r1.2 - 19 Jun 2008 - 08:51 - AlexanderReinhard?
