selected publications

• chapter

  • Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.  Lecture Notes in Computer Science. 2021

• 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
  • The PANDA system architecture-a pico-kernel approach.  . 2002
  • Meeting the application in user space.  . 1994