| Gegenstand | Die Entwicklung, Erforschung und der Vertrieb von IT-Produkten und IT-Lösungen, insbesondere im Bereich IT Sicherheit, Kryptographie und formaler Verifikation sowie branchenverwandten Anwendungen, als auch die Erbringung von Beratungs- und Servicedienstleistungen in diesem Zusammenhang. |