![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
MILS@HiPEAC 2017: Nürnberg, Germany
- Sergey Tverdyshev:
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS 2017, Nürnberg, Germany, March 14, 2017. Zenodo 2017
Invited talk
- Sergey Tverdyshev:
Security by Design: Introduction to MILS.
Papers
- Kevin Mueller:
Hardening High-Assurance Systems: MILS as Software Design for Avionics. - Alexander Much, Rudolf Grave, Robert Leibinger, Martin Böhner, Elisabeth Waitz:
Current Trends and Solutions in Securing Automotive Software. - Wilfred Steiner:
Fog Computing as Enabler for the Industrial Internet of Things / Industrie 4.0: Slides. - Milosch Meriac, Joseph Yiu:
High-End Security Features for Low-End Microcontrollers. - Geoff Waters:
Hardware enforced separation in embedded multicore SoCs. - Sven Nordhoff, Holger Blasum
:
Ease Standard Compliance by Technical Means via MILS. - Thomas Noll
, Louis Wachtmeister:
Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. - Semen Kort, Dmitry Kulagin, Ekaterina Rudina:
An approach to Separation of Duties validation for MILS security configurations. - Igor Furgel, Viola Saftig:
MILS Complete Separation Platform Protection Profile.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.