Conversion of security proofs from one leakage model to another: a new issue

DOI10.1007/978-3-642-29912-4_6zbMATH Open1352.94032OpenAlexW130128522MaRDI QIDQ4905044FDOQ4905044

Authors: Jean-Sébastien Coron, Christophe Giraud, Emmanuel Prouff, Soline Renner, Matthieu Rivain, Praveen Kumar Vadnala 

Publication date: 14 February 2013

Published in: Constructive Side-Channel Analysis and Secure Design (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/10586

Recommendations

• Unifying leakage models: from probing attacks to noisy leakage
• Noisy leakage revisited
• A first-order leak-free masking countermeasure
• Masking against Side-Channel Attacks: A Formal Security Proof
• Making Masking Security Proofs Concrete

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (16)

• Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
• Polynomial evaluation and side channel analysis
• Secure and efficient software masking on superscalar pipelined processors
• Consolidating masking schemes
• Provable secure software masking in the real-world
• Secure Multiplication for Bitslice Higher-Order Masking: Optimisation and Comparison
• Effective and efficient masking with low noise using small-Mersenne-prime ciphers
• Learning with physical rounding for linear and quadratic leakage functions
• Making masking security proofs concrete (or how to evaluate the security of any leaking device), extended version
• Mode-level vs. implementation-level physical security in symmetric cryptography. A practical guide through the leakage-resistance jungle
• Unknown-input attacks in the parallel setting: improving the security of the CHES 2012 leakage-resilient PRF
• Time-memory trade-offs for side-channel resistant implementations of block ciphers
• Towards sound fresh re-keying with hard (physical) learning problems
• \texttt{POLKA}: towards leakage-resistant post-quantum CCA-secure public key encryption
• Bridging the gap: advanced tools for side-channel leakage estimation beyond Gaussian templates and histograms
• Formal verification of arithmetic masking in hardware and software

This page was built for publication: Conversion of security proofs from one leakage model to another: a new issue

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