A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation - Bernardo Luís Fernandes Portela (2018)