Formal security proofs via Doeblin coefficients: optimal side-channel factorization from noisy leakage to random probing

DOI10.1007/978-3-031-68391-6_12MaRDI QIDQ6652995FDOQ6652995

Sylvain Guilley, Wei Cheng, Julien Béguinot, Olivier Rioul

Publication date: 13 December 2024

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
A Unified Framework for the Analysis of Side-Channel Key Recovery Attacks
Title not available (Why is that?)
Theory of Cryptography
Title not available (Why is that?)
Advances in Cryptology - CRYPTO 2003
Title not available (Why is that?)
Cryptographic Hardware and Embedded Systems - CHES 2004
Towards sound approaches to counteract power-analysis attacks
Provably Secure Higher-Order Masking of AES
A theorem on the entropy of certain binary sequences and applications--I
Gaussian Mixture Models for Higher-Order Side Channel Analysis
Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali
Horizontal side-channel attacks and countermeasures on the ISW masking scheme
A Formal Study of Power Variability Issues and Side-Channel Attacks for Nanoscale Devices
Shuffling against Side-Channel Attacks: A Comprehensive Study with Cautionary Note
Masking against Side-Channel Attacks: A Formal Security Proof
Unifying Leakage Models: From Probing Attacks to Noisy Leakage.
Dual-rail transition logic: A logic style for counteracting power analysis attacks
Random probing security: verification, composition, expansion and new constructions
Towards tight random probing security
Unifying leakage models on a Rényi day
Making masking security proofs concrete (or how to evaluate the security of any leaking device), extended version
Title not available (Why is that?)
Making Masking Security Proofs Concrete
How to securely compute with noisy leakage in quasilinear complexity
Unifying leakage models: from probing attacks to noisy leakage
On the power of expansion: more efficient constructions in the random probing model
Title not available (Why is that?)
Secure wire shuffling in the probing model
Leakage certification revisited: bounding model errors in side-channel security evaluations
Title not available (Why is that?)
Coding Theorems for Noisy Permutation Channels
Le cas discontinu des probabilités en chaîne.
An Operational Approach to Information Leakage
Coding for Positive Rate in the Source Model Key Agreement Problem
Removing the field size loss from Duc et al.'s conjectured bound for masked encodings
Prouff and Rivain's formal security proof of masking, revisited. Tight bounds in the noisy leakage model
The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free
Domination polynomial of the rook graph

This page was built for publication: Formal security proofs via Doeblin coefficients: optimal side-channel factorization from noisy leakage to random probing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6652995)