Holger Blasum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2021
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | IECON | Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture. | Andreas Hohenegger, Gerald Krummeck, Janie Baos, lvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Prochzka, 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 |
| 2015 | CRITIS | Security Architecture and Specification Framework for Safe and Secure Industrial Automation. | Sergey Tverdyshev, Holger Blasum, Ekaterina Rudina, Dmitry Kulagin, Pavel Dyakin, Stanislav Moiseev |
| 2014 | SAFECOMP | On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. | Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum |
| 2012 | DSN | MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures. | Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum |
| 2011 | ISORC | Proving Memory Separation in a Microkernel by Code Level Verification. | Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev |
| 2009 | SAFECOMP | Formal Verification of a Microkernel Used in Dependable Software Systems. | Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |