@misc{cryptoeprint:2016:014,
    author = {Manuel Barbosa and Bernardo Portela and Guillaume Scerri and Bogdan Warinschi},
    title = {Foundations of Hardware-Based  Attested Computation and Application to SGX},
    howpublished = {Cryptology ePrint Archive, Report 2016/014},
    year = {2016},
    url = {https://eprint.iacr.org/2016/014},
}