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

• proceedings

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