Our Projects
We are currently involved in the following projects:
- FM-SecEng : Formal Methods for Security Engineering
funded by the German Research Foundation (DFG) in the Computer Science Action Program (Aktionsplan Informatik)
- Mobius : Mobility, Ubiquity and Security
funded by the EU
Content managed by the Etomite Content Management System.