The certMILS project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731456.
Conferences & Workshops
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.