selected publications

• conference paper

  • Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.  . 2021