default search action

combined dblp search
author search
venue search
publication search

ask others

MILS@HiPEAC 2017: Nürnberg, Germany

> Home > Conferences and Workshops > HiPEAC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ mils.community
  - details & citations
- export record
  dblp key:
  - conf/hipeac/2017mils
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/2017mils
Sergey Tverdyshev:
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS 2017, Nürnberg, Germany, March 14, 2017. Zenodo 2017

Invited talk

- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/Tverdyshev17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/Tverdyshev17
Sergey Tverdyshev:
Security by Design: Introduction to MILS.

Papers

- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/Mueller17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/Mueller17
Kevin Mueller:
Hardening High-Assurance Systems: MILS as Software Design for Avionics.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/MuchGLBW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/MuchGLBW17
Alexander Much, Rudolf Grave, Robert Leibinger, Martin Böhner, Elisabeth Waitz:
Current Trends and Solutions in Securing Automotive Software.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/Steiner17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/Steiner17
Wilfred Steiner:
Fog Computing as Enabler for the Industrial Internet of Things / Industrie 4.0: Slides.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/MeriacY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/MeriacY17
Milosch Meriac, Joseph Yiu:
High-End Security Features for Low-End Microcontrollers.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/Waters17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/Waters17
Geoff Waters:
Hardware enforced separation in embedded multicore SoCs.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/NordhoffB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/NordhoffB17
Sven Nordhoff, Holger Blasum:
Ease Standard Compliance by Technical Means via MILS.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/NollW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/NollW17
Thomas Noll, Louis Wachtmeister:
Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/KortKR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/KortKR17
Semen Kort, Dmitry Kulagin, Ekaterina Rudina:
An approach to Separation of Duties validation for MILS security configurations.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/FurgelS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/FurgelS17
Igor Furgel, Viola Saftig:
MILS Complete Separation Platform Protection Profile.

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.