VirtualDroid - Virtualization for android .