Text this: Formally verified countermeasures against cache based attacks in virtualization platforms