Micro Kernels

We are particularly interested in the interactions between hardware and software for the secure operation of mobile devices platforms and OSs. Therefore, we intend to explore how low-end microprocessors and platforms can be enhanced with software countermeasures and attestation micro kernels that will safeguard the overall security of the underlying platform.