Abstract:Cuckoo hashing is a powerful primitive that enables storing items using small space with efficient querying. At a high level, cuckoo hashing maps $n$ items into $b$ entries storing at most $\ell$ items such that each item is placed into one of $k$ randomly chosen entries. Additionally, there is an overflow stash that can store at most $s$ items. Many cryptographic primitives rely upon cuckoo hashing to privately embed and query data where it is integral to ensure small failure probability when constructing cuckoo hashing tables as it directly relates to the privacy guarantees. As our main result, we present a more query-efficient cuckoo hashing construction using more hash functions. For construction failure probability $\epsilon$, the query overhead of our scheme is $O(1 + \sqrt{\log(1/\epsilon)/\log n})$. Our scheme has quadratically smaller query overhead than prior works for any target failure probability $\epsilon$. We also prove lower bounds matching our construction. Our improvements come from a new understanding of the locality of cuckoo hashing failures for small sets of items. We also initiate the study of robust cuckoo hashing where the input set may be chosen with knowledge of the hash functions. We present a cuckoo hashing scheme using more hash functions with query overhead $\tilde{O}(\log \lambda)$ that is robust against poly$(\lambda)$ adversaries. Furthermore, we present lower bounds showing that this construction is tight and that extending previous approaches of large stashes or entries cannot obtain robustness except with $\Omega(n)$ query overhead. As applications of our results, we obtain improved constructions for batch codes and PIR. In particular, we present the most efficient explicit batch code and blackbox reduction from single-query PIR to batch PIR.

Adaptively code-correlation robustness functions and its applications to private set intersection

Snowball: Another View on Side-Channel Key Recovery Tools.

On CCZ-equivalence Between the Bracken-Tan-Tan Function and Power Functions

New Correlation Bound and Construction of Quasi-Complementary Code Sets

Permutation-Based Tweakable On-line Cipher with Improved Security Guarantees

Tight Leakage-Resilient CCA-Security from Quasi-Adaptive Hash Proof System

The c-boomerang uniformity of two classes of permutation polynomials over finite fields

A Homomorphic Encryption Scheme with Adaptive Chosen Ciphertext Security but Without Random Oracle

Cuckoo Hashing in Cryptography: Optimal Parameters, Robustness and Applications

Learning Privately: Privacy-preserving Canonical Correlation Analysis for Cross-Media Retrieval

Achieving Secure Communications over Wiretap Channels Via Security Codes from Resilient Functions

Public Key Encryption Resilient to Leakage and Tampering Attacks.

Ideal Pseudorandom Codes

Distributed Certificateless Key Encapsulation Mechanism Secure Against the Adaptive Adversary

Multi-Party Private Set Intersection: A Circuit-Based Protocol with Jaccard Similarity for Secure and Efficient Anomaly Detection in Network Traffic

cuXCMP: CUDA-Accelerated Private Comparison Based on Homomorphic Encryption

Secure and Efficient Random Functions with Variable-Length Output

On the Sub-optimality of Single-Letter Coding over Networks

Certifiably Byzantine-Robust Federated Conformal Prediction

Design of Low Density Parity Check Codes for Secure and Reliable Communications

A Systematic Approach and Analysis of Key Mismatch Attacks on Lattice-Based NIST Candidate KEMs