Virtual HSM: Building a Hardware-backed Dependable Cryptographic Store - Rosa, Miguel Gomes (2019)