Making masking security proofs concrete (or how to evaluate the security of any leaking device), extended version

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Elements of Information Theory
A Unified Framework for the Analysis of Side-Channel Key Recovery Attacks
How Far Can We Go Beyond Linear Cryptanalysis?
Advances in Cryptology - CRYPTO 2003
Advances in cryptology -- ASIACRYPT 2012. 18th international conference on the theory and application of cryptology and information security, Beijing, China, December 2--6, 2012. Proceedings
Advances in cryptology -- ASIACRYPT 2014. 20th international conference on the theory and application of cryptology and information security, Kaoshiung, Taiwan, R.O.C., December 7--11, 2014, Proceedings, Part II
Cryptographic Hardware and Embedded Systems - CHES 2004
Secure hardware implementation of nonlinear functions in the presence of glitches
The World Is Not Enough: Another Look on Second-Order DPA
Power Analysis Attacks
Algebraic Side-Channel Attacks on the AES: Why Time also Matters in DPA
Towards sound approaches to counteract power-analysis attacks
Provably Secure Higher-Order Masking of AES
A Statistical Model for DPA with Novel Algorithmic Confusion Analysis
A Comprehensive Evaluation of Mutual Information Analysis Using a Fair Evaluation Framework
Topics in Cryptology – CT-RSA 2004
Theory and Practice of a Leakage Resilient Masking Scheme
Topics in Cryptology – CT-RSA 2005
How to Certify the Leakage of a Chip?
Cryptographic hardware and embedded systems -- CHES 2011. 13th international workshop, Nara, Japan, September 28--October 1, 2011. Proceedings
Cryptographic hardware and embedded systems -- CHES 2011. 13th international workshop, Nara, Japan, September 28--October 1, 2011. Proceedings
Cryptographic hardware and embedded systems -- CHES 2014. 16th international workshop, Busan, South Korea, September 23--26, 2014. Proceedings
Leakage squeezing: optimal implementation and security evaluation
Affine Masking against Higher-Order Side Channel Analysis
Horizontal side-channel attacks and countermeasures on the ISW masking scheme
Soft Analytical Side-Channel Attacks
Higher-Order Side Channel Security and Mask Refreshing
Higher-Order Masking Schemes for S-Boxes
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
Advances in cryptology - CRYPTO '99. 19th annual international cryptology conference Santa Barbara, CA, USA, August 15--19, 1999. Proceedings
Advances in cryptology -- EUROCRYPT 2013. 32nd annual international conference on the theory and applications of cryptographic techniques, Athens, Greece, May 26--30, 2013. Proceedings
Advances in cryptology -- EUROCRYPT 2013. 32nd annual international conference on the theory and applications of cryptographic techniques, Athens, Greece, May 26--30, 2013. Proceedings
A Formal Study of Power Variability Issues and Side-Channel Attacks for Nanoscale Devices
Side Channel Cryptanalysis of a Higher Order Masking Scheme
On the Exact Success Rate of Side Channel Analysis in the Gaussian Model
Shuffling against Side-Channel Attacks: A Comprehensive Study with Cautionary Note
Security Evaluations beyond Computing Power
Masking against Side-Channel Attacks: A Formal Security Proof
Unifying Leakage Models: From Probing Attacks to Noisy Leakage.
Masking and leakage-resilient primitives: one, the other(s) or both?
Semantic Security for the Wiretap Channel
Cryptographic hardware and embedded systems -- CHES 2008. 10th international workshop, Washington, D.C., USA, August 10--13, 2008. Proceedings
Advances in cryptology -- EUROCRYPT 2014. 33rd annual international conference on the theory and applications of cryptographic techniques, Copenhagen, Denmark, May 11--15, 2014. Proceedings
Masking proofs are tight and how to exploit it in security evaluations
Multi-target DPA Attacks: Pushing DPA Beyond the Limits of a Desktop Computer
Efficient Masked S-Boxes Processing – A Step Forward –
How to Estimate the Success Rate of Higher-Order Side-Channel Attacks
Towards easy leakage certification
Protecting AES with Shamir’s Secret Sharing Scheme
Conversion of Security Proofs from One Leakage Model to Another: A New Issue
Noisy Leakage Revisited
Protecting Circuits from Leakage: the Computationally-Bounded and Noisy Cases
Counting Keys in Parallel After a Side Channel Attack
A Statistical Model for Higher Order DPA on Masked Devices
Masking with Randomized Look Up Tables
Simpler and More Efficient Rank Estimation for Side-Channel Security Assessment
Attack on a Higher-Order Masking of the AES Based on Homographic Functions
An Optimal Key Enumeration Algorithm and Its Application to Side-Channel Attacks
Shannon Impossibility, Revisited

Cited In (13)

Linkable ring signature scheme with stronger security guarantees
Effective and efficient masking with low noise using small-Mersenne-prime ciphers
Masking proofs are tight and how to exploit it in security evaluations
The mother of all leakages: how to simulate noisy leakages via bounded leakage (almost) for free
Removing the field size loss from Duc et al.'s conjectured bound for masked encodings
From random probing to noisy leakages without field-size dependence
\textsf{Plover}: masking-friendly hash-and-sign lattice signatures
Towards tight random probing security
A key-recovery attack against Mitaka in the \(t\)-probing model
Raccoon: a masking-friendly signature proven in the probing model
Formal security proofs via Doeblin coefficients: optimal side-channel factorization from noisy leakage to random probing
Leakage certification made simple
Making Masking Security Proofs Concrete

This page was built for publication: Making masking security proofs concrete (or how to evaluate the security of any leaking device), extended version

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