%0 Conference Proceedings %T HardIDX: Practical and Secure Index with SGX %+ Technische Universität Darmstadt - Technical University of Darmstadt (TU Darmstadt) %+ SAP Research %+ University of Waterloo [Waterloo] %A Brasser, Ferdinand %A Hahn, Florian %A Kerschbaum, Florian %A Sadeghi, Ahmad-Reza %A Fuhry, Benny %A Bahmani, Raad %Z Part 4: Secure Storage in the Cloud %< avec comité de lecture %( Lecture Notes in Computer Science %B 31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC) %C Philadelphia, PA, United States %Y Giovanni Livraga %Y Sencun Zhu %I Springer International Publishing %3 Data and Applications Security and Privacy XXXI %V LNCS-10359 %P 386-408 %8 2017-07-19 %D 2017 %R 10.1007/978-3-319-61176-1_22 %Z Computer Science [cs]Conference papers %X Software-based approaches for search over encrypted data are still either challenged by lack of proper, low-leakage encryption or slow performance. Existing hardware-based approaches do not scale well due to hardware limitations and software designs that are not specifically tailored to the hardware architecture, and are rarely well analyzed for their security (e.g., the impact of side channels). Additionally, existing hardware-based solutions often have a large code footprint in the trusted environment susceptible to software compromises. In this paper we present HardIDX: a hardware-based approach, leveraging Intel’s SGX, for search over encrypted data. It implements only the security critical core, i.e., the search functionality, in the trusted environment and resorts to untrusted software for the remainder. HardIDX is deployable as a highly performant encrypted database index: it is logarithmic in the size of the index and searches are performed within a few milliseconds. We formally model and prove the security of our scheme showing that its leakage is equivalent to the best known searchable encryption schemes. %G English %Z TC 11 %Z WG 11.3 %2 https://inria.hal.science/hal-01684366/document %2 https://inria.hal.science/hal-01684366/file/453481_1_En_22_Chapter.pdf %L hal-01684366 %U https://inria.hal.science/hal-01684366 %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-WG %~ IFIP-TC11 %~ IFIP-WG11-3 %~ IFIP-DBSEC %~ IFIP-LNCS-10359