Paul Lukowicz | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI GmbH)
Daniel Schreckling | BMW AG
Juan Sanchez Jesus | DEKRA
Dr. Pierre Girard | Gemalto
Todd Ouska | WolfSSL
For systems that offer rich functionality, safety and security shall be supported by a software architecture that clearly splits functionality into subsystems with clearly defined criticalities.
MILS (Multiple Independent Levels of Safety/Security) is an architectural approach based on a minimal and verifiable separation mechanism and controlled information flow. In embedded systems, the separation mechanism is typically implemented as a minimal operating system called separation kernel or hypervisor.
MILS is all about the composability of components and assurance for components and integrated systems (up to the level of secure distributed systems) with respect to the required security policies and safety requirements.
Workshop topics are MILS components and eco-systems, MLS systems and their relation to MILS systems, real-time separation kernels, MILS evaluation and compositional certification, MILS testing, vulnerability analysis of MILS systems, application of novel and existing information flow models/policies, cross-European/worldwide high-assurance security, methods and applications (e.g. formal methods) for MILS systems as a basis for high assurance.
The workshop will cover the following topics:
* MILS Introduction, Sergey Tverdyshev, SYSGO
* ML/AI in Embedded Applications: Challenges and Chances, Paul Lukowicz, DFKI
* Towards Automated Integration of Security Monitors in E/E Architectures, Daniel Schreckling, BMW
* Cyber-security evaluation of a vehicle tracker, Juan Sanchez Jesus, DEKRA
* Hardening your embedded system with Secure Element, Pierre Girard, GEMALTO
* Fundamentals of Security in Safety Critical Systems, Todd Ouska, WolfSSL