The four pilot projects involved in the development of the European Cybersecurity Competence Network will present their plans and upcoming tools and services for SMEs in the Cyberwatching.eu webinar on the 2nd of April, 10:00 AM CEST
Holger Blasum is a research engineer at SYSGO and doing PikeOS verification at SYSGO. He previously studied mathematics at LMU Munich (diploma in mathematical logic). In the Verisoft XT project he has worked on static analysis of PikeOS systems code, in particular memory management, with the Verifying C Compiler (VCC). In EURO-MILS and certMILS he has supported CC artefact generation and researched on their use for compositional certification.He is active in the MILS community (http://mils.community/) and the Common Criteria User's Forum Separation Kernel Working Group. Before, he had also participated in the Formal Methods subgroup of the DO-178C.