Hardware security kernel for cyber-defense
Patrick W. Jungwirth, James A. Ross, Barry R. Secrest, Thomas Barnett, Philip Chan · 2019
Hardware assisted operating systems have their origins in microprogramming from the early 1970’s. In 2014, Renesas marketed a hardware based operating system in the R-IN32M microprocessor. It is time for cybersecurity to consider the security benefits of moving hypervisor and OS features into hardware. A trusted computing base architecture using a hardware state machine separation kernel is the future of cybersecurity. In this paper, we will research a hardware state machine as the trusted computing base. A traditional operating system provides security for applications software. We are interested in a state machine monitor to secure the execution of instructions and provide separation kernel features.