Intel SGX Explained [pdf]
eprint.iacr.org