Towards the Hardware Accelerated Defensive Virtual Machine - Type and Bound