Iron: Functional Encryption using Intel SGX
Speaker
Dhinakaran Vinayagamurthy
University of Waterloo
Host
CSAIL Security Seminar
"Iron: Functional Encryption using Intel SGX"
Ben A Fisch , Dhinakaran Vinayagamurthy , Dan Boneh , and Sergey Gorbunov
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 build Iron, a practical and usable 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.
Dhinakaran Vinayagamurthy is a PhD student in computer science at University of Waterloo, advised by Sergey Gorbunov and David Jao. His current interests are in designing systems with provable security guarantees to perform computations over encrypted data. Dhinakaran is a recipient of David R. Cheriton Graduate Scholarship, and holds an MSc from University of Toronto and a BE from College of Engineering, Guindy.
Ben A Fisch , Dhinakaran Vinayagamurthy , Dan Boneh , and Sergey Gorbunov
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 build Iron, a practical and usable 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.
Dhinakaran Vinayagamurthy is a PhD student in computer science at University of Waterloo, advised by Sergey Gorbunov and David Jao. His current interests are in designing systems with provable security guarantees to perform computations over encrypted data. Dhinakaran is a recipient of David R. Cheriton Graduate Scholarship, and holds an MSc from University of Toronto and a BE from College of Engineering, Guindy.