Encrypted computing: Speed, security and provable obfuscation against insiders | Publicación