Foundations of Hardware-Based Attested Computation and Application to SGX.
['Manuel Barbosa', 'Bernardo Portela', 'Guillaume Scerri', 'Bogdan Warinschi']
Foundations of Hardware-Based Attested Computation and Application to SGX.