Holger Blasum - RankMe

13 papers B 2C 2Journal 1Unranked 8

Year	Rank	Type	Title / Venue / Authors
2021	C	`conf`	Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture. IECON 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
2021	—	`conf`	Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS. ICPS 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
2018	—	`conf`	Classic and Adaptive AUTOSAR in MILS terms. MILS@DSN Holger Blasum, Sergey Tverdyshev
2017	—	`conf`	Ease Standard Compliance by Technical Means via MILS. MILS Sven Nordhoff, Holger Blasum
2015	—	`conf`	Formal API Specification of the PikeOS Separation Kernel. NFM Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
2015	—	`conf`	Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms. MILS@HiPEAC Holger Blasum
2015	C	`conf`	Security Architecture and Specification Framework for Safe and Secure Industrial Automation. CRITIS Sergey Tverdyshev, Holger Blasum, Ekaterina Rudina, Dmitry Kulagin, Pavel Dyakin, Stanislav Moiseev
2014	J	`jnl`	Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
2014	B	`conf`	On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. SAFECOMP Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum
2012	—	`conf`	Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck SSV Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
2012	—	`conf`	MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures. DSN Workshops Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum
2011	—	`conf`	Proving Memory Separation in a Microkernel by Code Level Verification. ISORC Workshops Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev
2009	B	`conf`	Formal Verification of a Microkernel Used in Dependable Software Systems. SAFECOMP Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer