Holger Blasum

Thorsten Bormer, Christoph Baumann, Sergey Tverdyshev, 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

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

Holger Blasum, H. Blasum, 2015, MILS@HiPEAC.

From a DO-178B Certified Separation Kernel to Common Criteria Security Certification

Sergey Tverdyshev, Holger Blasum, 2011 .

Using LDAP from Java+Tomcat and Python+Zope

Holger Blasum, Andreas Meisl, 2003 .

Michael Paulitsch, Sergey Tverdyshev, Holger Blasum, 2012, IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).

Gcov on an embedded system

Holger Blasum, Jürgen Urban, Frank Goergen, 2007 .

Security Architecture and Specification Framework for Safe and Secure Industrial Automation

Sergey Tverdyshev, Holger Blasum, Stanislav Moiseev, 2015, CRITIS.

Using Isabelle/HOL to develop and maintain separation invariants for an operating system

Burkhart Wolff, Julien Schmaltz, Yakoub Nemouchi, 2014 .

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

Bernhard Beckert, Thorsten Bormer, Christoph Baumann, 2012, SSV.

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

Frank Golatowski, Caspar Gries, Reinhard Hametner, 2021, 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS).

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

Frank Golatowski, Reinhard Hametner, Francisco Ramos, 2021, IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society.

Better Avionics Software Reliability by Code Verification ? A Glance at Code Verification Methodology in the Verisoft XT Project

Bernhard Beckert, Thorsten Bormer, Christoph Baumann, 2009 .