MILS@HiPEAC

Publications

2016

Sergey Tverdyshev
EURO-MILS: Building and certifying modular secure systems. MILS@HiPEAC (2016)
Ruud Koolen, Julien Schmaltz
Modeling Information Routing with Noninterference. MILS@HiPEAC (2016)
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016. MILS@HiPEAC (2016)
Paul J. Parkinson
Applying MILS to multicore avionics systems. MILS@HiPEAC (2016)
Igor Furgel, Viola Saftig, Tobias Wagner, Kevin Müller, Reinhard Schwarz, Axel Söding-Freiherr von Blomberg
Non-Interfering Composed Evaluation. MILS@HiPEAC (2016)
Hans-Jürgen Herpel, M. Kerep, G. Montano, Knut Eckstein, M. Schön, A. Krutak
MILS Compliant Software Architecture for Satellites. MILS@HiPEAC (2016)
Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner
Asset-Centric Security Risk Assessment of Software Components. MILS@HiPEAC (2016)
Julien Delange, Min-Young Nam, Peter H. Feiler, Will Klieber
An Architecture-Centric Process for MILS Development. MILS@HiPEAC (2016)
Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson
Content-Dependent Security Policies in Avionics. MILS@HiPEAC (2016)
Semen Kort, Ekaterina Rudina
The Security for Safety Problem in Cyberphysical Systems. MILS@HiPEAC (2016)

2015