selected publications

• conference paper

  • Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.  . 2021
  • MILS-based information flow control in the avionic domain: A case study on compositional architecture and verification.  2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC). 2012