IRON: Functional Encryption using Intel SGX
Universally composable security: a new paradigm for cryptographic protocols