Hardware-Assisted Secure Resource Accounting under a Vulnerable Hypervisor | Synapse