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. In IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016. pages 245-260, IEEE, 2016. [doi]

Authors

Manuel Barbosa

This author has not been identified. It may be one of the following persons: Look up 'Manuel Barbosa' in Google

Bernardo Portela

This author has not been identified. Look up 'Bernardo Portela' in Google

Guillaume Scerri

This author has not been identified. Look up 'Guillaume Scerri' in Google

Bogdan Warinschi

This author has not been identified. Look up 'Bogdan Warinschi' in Google