Abstract is missing.
- Security by Design: Introduction to MILSSergey Tverdyshev. [doi]
- MILS Complete Separation Platform Protection ProfileIgor Furgel, Viola Saftig. [doi]
- Hardening High-Assurance Systems: MILS as Software Design for AvionicsKevin Mueller. [doi]
- High-End Security Features for Low-End MicrocontrollersMilosch Meriac, Joseph Yiu. [doi]
- Ease Standard Compliance by Technical Means via MILSSven Nordhoff, Holger Blasum. [doi]
- Hardware enforced separation in embedded multicore SoCsGeoff Waters. [doi]
- Current Trends and Solutions in Securing Automotive SoftwareAlexander Much, Rudolf Grave, Robert Leibinger, Martin Böhner, Elisabeth Waitz. [doi]
- An approach to Separation of Duties validation for MILS security configurationsSemen Kort, Dmitry Kulagin, Ekaterina Rudina. [doi]
- Fog Computing as Enabler for the Industrial Internet of Things / Industrie 4.0: SlidesWilfred Steiner. [doi]
- Analysing Cryptographically-Masked Information Flows in MILS-AADL SpecificationsThomas Noll, Louis Wachtmeister. [doi]