Exploiting the Semantic Gap in Trusted Execution Environments - View it on GitHub