Holger Blasum

According to our database1, Holger Blasum authored at least 11 papers between 2009 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Classic and Adaptive AUTOSAR in MILS terms.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018

2017
Ease Standard Compliance by Technical Means via MILS.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2017

2015
Formal API Specification of the PikeOS Separation Kernel.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms.
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.
Proceedings of the Critical Information Infrastructures Security, 2015

2014
Formal Specification of a Generic Separation Kernel.
Arch. Formal Proofs, 2014

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.
Proceedings of the Computer Safety, Reliability, and Security, 2014

2012
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
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.
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.
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.
Proceedings of the Computer Safety, 2009


  Loading...