The focus of research is micro-kernel and virtualization technology, applied to systems security and real-time systems.
In real-time, we have ten-year experience in devising the DROPS architecture and in building components, including small real-time micro-kernels and real-time managers for disks, communication and windowing systems.
In systems security, we have devised the L4/Nizza architecture that supports legacy software (based on Linux) together with applications with very high security requirements. L4/Nizza is the basis of some collaborative research projects at the National and European level, namely Robin, OpenTC and EMSCB.