Sciweavers

Share
IACR
2016

Foundations of Hardware-Based Attested Computation and Application to SGX

3 years 4 months ago
Foundations of Hardware-Based Attested Computation and Application to SGX
Exciting new capabilities of modern trusted hardware technologies allow for the execution of arbitrary code within environments completely isolated from the rest of the system and provide cryptographic mechanisms for securely reporting on these executions to remote parties. Rigorously proving security of protocols that rely on this type of hardware faces two obstacles. The first is to develop models appropriate for the induced trust assumptions (e.g., what is the correct notion of a party when the peer one wishes to communicate with is a specific instance of an an outsourced program). The second is to develop scalable analysis methods, as the inherent stateful nature of the platforms precludes the application of existing modular analysis techniques that require high degrees of independence between the components. We give the first steps in this direction by studying three cryptographic tools which have been commonly associated with this new generation of trusted hardware solutions....
Manuel Barbosa, Bernardo Portela, Guillaume Scerri
Added 03 Apr 2016
Updated 03 Apr 2016
Type Journal
Year 2016
Where IACR
Authors Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
Comments (0)
books