| COLOGNET | Network of Excellence in Computational Logic |
| DIC | Discreationary Information Control |
| DigSig | Specification of a Security Model for Digital Signature |
| DIRECT | Difference Reduction Techniques to Control Theorem Proving |
| FAIRPAY | Dependablity in Electronic Transaction |
| FM-DIN | Formale Modellierung SigG-konformer Smart-Cards mit DIN-Schnittstelle |
| MMISS | Multimedia-Based Teaching in Safe and Secure Systems |
| PADS | Proof Assistant for the Development of Software |
| Valikrypt | Validation of Security Protocols using Formal Analysis Methods |
| VSE | Verification Support Environment |
