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

DOI10.1007/978-3-642-29912-4_6MaRDI QIDQ4905044zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Cryptography (94A60)

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

Cited in

(18)

• Bridging the gap: advanced tools for side-channel leakage estimation beyond Gaussian templates and histograms
• 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
• Polynomial evaluation and side channel analysis
• Towards sound fresh re-keying with hard (physical) learning problems
• 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
• Secure Multiplication for Bitslice Higher-Order Masking: Optimisation and Comparison
• Consolidating masking schemes
• Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
• Effective and efficient masking with low noise using small-Mersenne-prime ciphers
• Provable secure software masking in the real-world
• \texttt{POLKA}: towards leakage-resistant post-quantum CCA-secure public key encryption
• Secure and efficient software masking on superscalar pipelined processors
• Learning with physical rounding for linear and quadratic leakage functions
• Formal verification of arithmetic masking in hardware and software
• IP masking with generic security guarantees under minimum assumptions, and applications
• Side-channel analysis of arithmetic encodings for post-quantum cryptography: cautionary notes with application to Kyber

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)