Dipl.-Inform. Roland Vogt

Kontakt +49 631 20575 4131 (Kaiserslautern)

Adresse (Kaiserslautern)

Publikationen

Security of AI Systems: Fundamentals - Security Aspects of Symbolic and Hybrid AI Systems
Christian Müller; Roland Vogt; Andreas Nonnengart; Matthias Klusch; André Meyer-Vitali
BSI Federal Office for Information Security, BSI Bericht, 2022.
Formal Software Development in the Verification Support Environment (VSE)
Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages 367-376, AAAI-Press, 2000.
The Use of Formal Methods for Trusted Digital Signature Devices
Bruno Langenstein; Markus Ullmann; Roland Vogt
In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.

PROTECT
Proving Next Generation Secure Systems
Cyber-Angriffe auf Unternehmen und öffentliche Einrichtungen nehmen weltweit drastisch zu. Das von der Cyberagentur geförderte Projekt PROTECT entwickelt Lösungen, um IT-Systeme widerstandsfähiger…