Towards Modular Security-conscious Virtual Machines