MILS

Publications

2017

Alexander Much, Rudolf Grave, Robert Leibinger, Martin Böhner, Elisabeth Waitz
Current Trends and Solutions in Securing Automotive Software. MILS (2017)
Sergey Tverdyshev
Security by Design: Introduction to MILS. MILS (2017)
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS 2017, Nürnberg, Germany, March 14, 2017. MILS (2017)
Semen Kort, Dmitry Kulagin, Ekaterina Rudina
An approach to Separation of Duties validation for MILS security configurations. MILS (2017)
Sven Nordhoff, Holger Blasum
Ease Standard Compliance by Technical Means via MILS. MILS (2017)
Kevin Mueller
Hardening High-Assurance Systems: MILS as Software Design for Avionics. MILS (2017)
Thomas Noll, Louis Wachtmeister
Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. MILS (2017)
Milosch Meriac, Joseph Yiu
High-End Security Features for Low-End Microcontrollers. MILS (2017)
Igor Furgel, Viola Saftig
MILS Complete Separation Platform Protection Profile. MILS (2017)
Geoff Waters
Hardware enforced separation in embedded multicore SoCs. MILS (2017)
Wilfred Steiner
Fog Computing as Enabler for the Industrial Internet of Things / Industrie 4.0: Slides. MILS (2017)