InkTag: secure applications on an untrusted operating system
The Transport Layer Security (TLS) Protocol Version 1.2