1. Iron: Functional Encryption using Intel SGX 2017 CCS FE IntelSGX
    Ben Fisch, Dhinakaran Vinayagamurthy, Dan Boneh, and Sergey Gorbunov
    [View PDF on acmccs.github.io]
    [Show BibTex Citation]

    author = {Fisch, Ben and Vinayagamurthy, Dhinakaran and Boneh, Dan and Gorbunov, Sergey},
    title = {IRON: Functional Encryption Using Intel SGX},
    year = {2017},
    isbn = {9781450349468},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/3133956.3134106},
    doi = {10.1145/3133956.3134106},
    booktitle = {Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security},
    pages = {765–782},
    numpages = {18},
    keywords = {provable security, functional encryption, secure hardware, intel sgx},
    location = {Dallas, Texas, USA},
    series = {CCS ’17}

Functional encryption (FE) is an extremely powerful cryptographic mechanism that lets an authorized entity compute on encrypted data, and learn the results in the clear. However, all current cryptographic instantiations for general FE are too impractical to be implemented. We construct IRON, a provably secure, and practical FE system using Intel’s recent Software Guard Extensions (SGX). We show that IRON can be applied to complex functionalities, and even for simple functions, outperforms the best known cryptographic schemes. We argue security by modeling FE in the context of hardware elements, and prove that IRON satisfies the security model.