default search action

combined dblp search
author search
venue search
publication search

ask others

MILS@HiPEAC 2015: Amsterdam, The Netherlands

> 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
  - no references & citations available
- export record
  dblp key:
  - conf/hipeac/2015mils
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/2015mils
Sergey Tverdyshev:
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015. Zenodo 2015

Invited talk 1

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

Papers 1

- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/AdamTRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/AdamTRS15
Daniel Adam, Sergey Tverdyshev, Carsten Rolfes, Timo Sandmann:
Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik).
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/Lescuyer15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/Lescuyer15
Stéphane Lescuyer:
ProvenCore: Towards a Verified Isolation Micro-Kernel.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/PolN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/PolN15
Kevin van der Pol, Thomas Noll:
Security Type Checking for MILS-AADL Specifications.

Invited talk 2

- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/DeLong15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/DeLong15
Rance J. DeLong:
MILS Initiatives Within The Open Group.

Papers 2

- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/NetkachovaMPB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/NetkachovaMPB15
Kateryna Netkachova, Kevin Mueller, Michael Paulitsch, Robin Bloomfield:
Security-Informed Safety Case Approach to Analysing MILS Systems.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/SinnhoferRSK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/SinnhoferRSK15
Andreas Daniel Sinnhofer, Wolfgang Raschke, Christian Steger, Christian Kreiner:
Evaluation paradigm selection according to Common Criteria for an incremental product development.

Invited talk 3

- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/RuessT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/RuessT15
Harald Rueß, Stefano Tonetta:
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems.

Papers 3

- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/Blasum15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/Blasum15
Holger Blasum:
Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/HawkinsKH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/HawkinsKH15
Richard Hawkins, Tim Kelly, Ibrahim Habli:
Developing Assurance Cases for D-MILS Systems.
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/KoolenS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/KoolenS15
Ruud Koolen, Julien Schmaltz:
Formal Methods for MILS: Formalisations of the GWV Firewall.

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.