Dipl.-Inform. Roland Vogt

Contact +49 631 20575 4131 (Kaiserslautern)

Address (Kaiserslautern)

Publications

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 attacks on companies and public institutions are increasing dramatically worldwide. The PROTECT project, funded by the Cyber Agency, is developing solutions to make IT systems more resistant to…