SecuCode: Secure Execution of Untrusted Code