Vulnerabilities in Intel SGX SDK for Linux