TREDIS – A Trusted Full-Fledged SGX-Enabled REDIS Solution - Reis, João Carlos Cristo (2020)