ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2201.05006
25
16

Dynamic Local Searchable Symmetric Encryption

13 January 2022
Brice Minaud
Michael Reichle
ArXivPDFHTML
Abstract

In this article, we tackle for the first time the problem of dynamic memory-efficient Searchable Symmetric Encryption (SSE). In the term "memory-efficient" SSE, we encompass both the goals of local SSE, and page-efficient SSE. The centerpiece of our approach is a novel connection between those two goals. We introduce a map, called the Generic Local Transform, which takes as input a page-efficient SSE scheme with certain special features, and outputs an SSE scheme with strong locality properties. We obtain several results. (1) First, for page-efficient SSE, we build a dynamic scheme with page efficiency O(log⁡log⁡N)O(\log \log N)O(loglogN) and storage efficiency O(1)O(1)O(1), called LayeredSSE. The main technical innovation behind LayeredSSE is a new weighted extension of the two-choice allocation process, of independent interest. (2) Second, we introduce the Generic Local Transform, and combine it with LayeredSSE to build a dynamic SSE scheme with storage efficiency O(1)O(1)O(1), locality O(1)O(1)O(1), and read efficiency O(log⁡log⁡N)O(\log\log N)O(loglogN), under the condition that the longest list is of size O(N1−1/log⁡log⁡λ)O(N^{1-1/\log \log \lambda})O(N1−1/loglogλ). This matches, in every respect, the purely static construction of Asharov et al. presented at STOC 2016: dynamism comes at no extra cost. (3) Finally, by applying the Generic Local Transform to a variant of the Tethys scheme by Bossuat et al. from Crypto 2021, we build an unconditional static SSE with storage efficiency O(1)O(1)O(1), locality O(1)O(1)O(1), and read efficiency O(log⁡εN)O(\log^\varepsilon N)O(logεN), for an arbitrarily small constant ε>0\varepsilon > 0ε>0. To our knowledge, this is the construction that comes closest to the lower bound presented by Cash and Tessaro at Eurocrypt 2014.

View on arXiv
Comments on this paper