default search action

combined dblp search
author search
venue search
publication search

ask others

MILS@HiPEAC 2016: Prague, Czech Republic

> 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/2016mils
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/2016mils
Sergey Tverdyshev:
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016. Zenodo 2016

Invited talk

- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/Tverdyshev16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/Tverdyshev16
Sergey Tverdyshev:
EURO-MILS: Building and certifying modular secure systems.

Papers

- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/RauterHKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/RauterHKK16
Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner:
Asset-Centric Security Risk Assessment of Software Components.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/HerpelKMESK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/HerpelKMESK16
Hans-Jürgen Herpel, M. Kerep, G. Montano, Knut Eckstein, M. Schön, A. Krutak:
MILS Compliant Software Architecture for Satellites.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/DelangeNFK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/DelangeNFK16
Julien Delange, Min-Young Nam, Peter H. Feiler, Will Klieber:
An Architecture-Centric Process for MILS Development.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/MaciazekNN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/MaciazekNN16
Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson:
Content-Dependent Security Policies in Avionics.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/KortR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/KortR16
Semen Kort, Ekaterina Rudina:
The Security for Safety Problem in Cyberphysical Systems.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/Parkinson16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/Parkinson16
Paul J. Parkinson:
Applying MILS to multicore avionics systems.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/KoolenS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/KoolenS16
Ruud Koolen, Julien Schmaltz:
Modeling Information Routing with Noninterference.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/FurgelSWMSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/FurgelSWMSB16
Igor Furgel, Viola Saftig, Tobias Wagner, Kevin Müller, Reinhard Schwarz, Axel Söding-Freiherr von Blomberg:
Non-Interfering Composed Evaluation.

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.