Abstract:Leakage-resilient cryptography aims to protect cryptographic primitives from so-called "side channel attacks" that exploit their physical implementation to learn their input or secret state. Starting from the works of Ishai, Sahai and Wagner (CRYPTO'03) and Micali and Reyzin (TCC'04), most works on leakage-resilient cryptography either focus on protecting general computations, such as circuits or multiparty computation protocols, or on specific non-interactive primitives such as storage, encryption, and signatures. This work focuses on leakage resilience for the middle ground, namely for distributed and interactive cryptographic primitives. Our main technical contribution is designing the first secret sharing scheme that is equivocal , resists adaptive probing of a constant fraction of bits from each share, while incurs only a constant blowup in share size. Equivocation is a strong leakage-resilience guarantee, recently introduced by Hazay et al. (ITC, 2021). Our construction is obtained via a general compiler which we introduce, that transforms any secret sharing scheme into an equivocal scheme against adaptive leakage. An attractive feature of our compiler is that it respects additive reconstruction; namely, if the original scheme has additive reconstruction, then the transformed scheme has linear reconstruction. We extend our compiler to a general paradigm for protecting distributed primitives against leakage and show its applicability to various primitives, including secret sharing, verifiable secret sharing, function secret sharing, distributed encryption and signatures, and distributed zero-knowledge proofs. For each of these primitives, our paradigm transforms any construction of the primitive into a scheme that resists adaptive party corruptions, as well as adaptive probing leakage of a constant fraction of bits in each share when the share is stored in memory (but not when it is used in computations). Moreover, the transformation incurs only a constant blowup in the share size and respects additive reconstruction—an important feature for several of these primitives, such as function secret sharing and distributed encryption.

Weakening Assumptions for Publicly-Verifiable Deletion

Publicly Verifiable Deletion from Minimal Assumptions

Publicly-Verifiable Deletion via Target-Collapsing Functions

How to Delete Without a Trace: Certified Deniability in a Quantum World

Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication

Encryption with Quantum Public Keys

Composably secure device-independent encryption with certified deletion

Protecting Distributed Primitives Against Leakage: Equivocal Secret Sharing and more

Symmetric-Key Based Proofs Of Retrievability Supporting Public Verification

Lossy Cryptography from Code-Based Assumptions

Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure

High-Dimensional Quantum Certified Deletion

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version

Disappearing Cryptography in the Bounded Storage Model

Verifiable Quantum Advantage without Structure

Obfuscation of Pseudo-Deterministic Quantum Circuits

A Simple Construction of Quantum Public-Key Encryption from Quantum-Secure One-Way Functions

An Obfuscating C Compiler for Encrypted Computing

Oracle Separation Between Quantum Commitments and Quantum One-wayness

Computationally-Secure and Composable Remote State Preparation

Verifiable Encodings for Secure Homomorphic Analytics