My research interests include secure (embedded) systems and IoT, virtualization, trusted computing, formal methods, malware analysis and operating systems. My present research focuses on building formally verifiable and trustworthy computing systems. I have published two books on trustworthy computing, hold multiple patents, and have widely published in my areas of research.