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.

Effects of many-electron atom polarization in electron-hole formalism

Secrecy without one-way functions

Secrecy by Witness-Functions under Equational Theories

On the Security of Public Key Protocols

How to Generate and Exchange Secrets

How to Generate and Exchange Secrets (Extended Abstract)

A Framework for Partial Secrecy

Protecting Distributed Primitives Against Leakage: Equivocal Secret Sharing and more

Rethinking the Secrecy Outage Formulation: A Secure Transmission Design Perspective

Insider-proof encryption with applications for quantum key distribution

Strong Secrecy From Channel Resolvability

Composing security protocols: from confidentiality to privacy

Quantum secure dialogue with quantum encryption

Security Formalizations and Their Relationships for Encryption and Key Agreement in Information-Theoretic Cryptography

Quantum encryption design overcomes Shannon's theorem to achieve perfect secrecy with reusable keys

Better Quantum Seal Schemes based on Trapdoor Claw-Free Functions

How to Subvert Backdoored Encryption: Security Against Adversaries that Decrypt All Ciphertexts

Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries

Hiding Symbols and Functions: New Metrics and Constructions for Information-Theoretic Security

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice

Security bounds in Quantum Cryptography using d-level systems