Mhatre, SC, Chandran P.  2025.  Automatic Generation of Simulators for Processors Enhanced for Security in Virtualization. IEEE Access. : IEEE