Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi. Foundations of Hardware-Based Attested Computation and Application to SGX. In IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016. pages 245-260, IEEE, 2016. [doi]
Abstract is missing.