Holger Blasum

According to our database, Holger Blasum authored at least 13 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.

Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos, Holger Blasum, Mario Brotz, Rudolf Fuchsen, Guillaume Fumaroli, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Frank Golatowski, Thorsten Schulz

Proceedings of the IECON 2021, 2021

Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS.

Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos, Holger Blasum, Mario Brotz, Caspar Gries, Torsten Vögler, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Technikon, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Thales Austria, Frank Golatowski, Thorsten Schulz

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

2018

Classic and Adaptive AUTOSAR in MILS terms.

Holger Blasum, Sergey Tverdyshev

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018

2017

Ease Standard Compliance by Technical Means via MILS.

Sven Nordhoff, Holger Blasum

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2017

2015

Formal API Specification of the PikeOS Separation Kernel.

Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms.

Holger Blasum

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

Security Architecture and Specification Framework for Safe and Secure Industrial Automation.

Sergey Tverdyshev, Holger Blasum, Ekaterina Rudina, Dmitry Kulagin, Pavel Dyakin, Stanislav Moiseev

Proceedings of the Critical Information Infrastructures Security, 2015

2014

Formal Specification of a Generic Separation Kernel.

Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz

Arch. Formal Proofs, 2014

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.

Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum

Proceedings of the Computer Safety, Reliability, and Security, 2014

2012

Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck

Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures.

Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011

Proving Memory Separation in a Microkernel by Code Level Verification.

Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

2009

Formal Verification of a Microkernel Used in Dependable Software Systems.

Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer

Proceedings of the Computer Safety, 2009