The certMILS project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731456.
Conferences & Workshops
4th International Workshop on MILS: Architecture and Assurance for Secure Systems
25th - 28th June 2018, Luxembourg
co-located with DSN 2018
3rd Annual Rail Cyber Security Summit
13th - 14th March 2018, London/United Kingdom
There will be a presentation about MILS by SYSGO.
2017 Safety meets Security Conference
9th March 2017, Stuttgart/Germany
Michael Paulitsch from Thales, Austria gave an invited talk about "Safety and Security in Ground Transportation Systems"
3rd International Workshop on MILS: Architecture and Assurance for Secure Systems
14th of March 2017, Nuremberg/Germany
IEEE 18. International Conference on Industrial Technology
25th March 2017, Toronto/Canada
University of Rostock presents a paper "Evaluation of a Formalized Encryption Library for Safety-Critical Embedded Systems" and introduced certMILS to the audience.