selected publications

• chapter

  • Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture.  Lecture Notes in Computer Science. 2019

• conference paper

  • Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.  . 2021
  • Software-Defined Security Architecture for Smart Buildings using the Building Information Model.  . 2019
  • Applying the BaaS reference architecture on different classes of devices.  . 2016

• proceedings

  • Integration Approach for Communications-based Train Control Applications in a High Assurance Security Architecture.  Zenodo (CERN European Organization for Nuclear Research). 2019