sgx-step: A practical attack framework for precise enclave execution control