selected publications

• conference paper

  • 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