BISEN: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage

Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique Domingos, João Leitão

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The prevalence and availability of cloud infrastructures has made them the de facto solution for storing and archiving data, both for organizations and individual users. Nonetheless, the cloud's wide spread adoption is still hindered by dependability and security concerns, particularly in applications with large data collections where efficient search and retrieval services are also major requirements. This leads to an increased tension between security, efficiency, and search expressiveness, which current state of the art solutions try to balance through complex cryptographic protocols that tradeoff efficiency and expressiveness for near optimal security. In this paper we tackle this tension by proposing BISEN, a new provably-secure boolean searchable symmetric encryption scheme that improves these three complementary dimensions by exploring the design space of isolation guarantees offered by novel commodity hardware such as Intel SGX, abstracted as Isolated Execution Environments (IEEs). BISEN is the first scheme to enable highly expressive and arbitrarily complex boolean queries, with minimal information leakage regarding performed queries and accessed data, and verifiability regarding fully malicious adversaries. Furthermore, by exploiting trusted hardware and the IEE abstraction, BISEN reduces communication costs between the client and the cloud, boosting query execution performance. Experimental validation and comparison with the state of art shows that BISEN provides better performance with enriched search semantics and security properties.

Original languageEnglish
Title of host publicationProceedings - 2019 IEEE 38th International Symposium on Reliable Distributed Systems, SRDS 2019
PublisherIEEE Computer Society
Pages103-112
Number of pages10
ISBN (Electronic)0769567118, 9781728142227
DOIs
Publication statusPublished - Oct 2019
Event38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 - Lyon, France
Duration: 1 Oct 20194 Oct 2019

Publication series

NameProceedings of the IEEE Symposium on Reliable Distributed Systems
PublisherIEEE Computer Society
ISSN (Print)1060-9857

Conference

Conference38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019
CountryFrance
CityLyon
Period1/10/194/10/19

Keywords

  • Cloud computing
  • Searchable encryption
  • Trusted hardware

Fingerprint Dive into the research topics of 'BISEN: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage'. Together they form a unique fingerprint.

Cite this