Security evaluation against side-channel analysis at compilation time

DOI10.1007/978-3-030-36237-9_8MaRDI QIDQ3294874zbMATH OpenOpenAlexFDO

Authors Nicolas Bruneau, Charles Christen, Jean-Luc Danger, Adrien Facon, Sylvain Guilley

Publication date 29 June 2020

Published in Algebra, Codes and Cryptology (Search for Journal in Brave)

Full work available at URL https://hal-cnrs.archives-ouvertes.fr/hal-02915643/file/19_A2C_masking_attack.pdf

zbMATH Keywords

compilationcompositional countermeasurecryptographic codeformal analysisintermediate representation (IR)masking protectionoptimal side-channel attacksside-channel analysisstatic single assignment (SSA)Taylor expansion of distinguishers

Mathematics Subject Classification ID

Channel models (including quantum) in information and communication theory (94A40) Cryptography (94A60)

Recommendations

• Masking proofs are tight and how to exploit it in security evaluations
• Higher-order side channel security and mask refreshing
• Masking against Side-Channel Attacks: A Formal Security Proof
• Verified Proofs of Higher-Order Masking
• Formal verification of side-channel countermeasures via elementary circuit transformations

Cites work

• A new framework for constraint-based probabilistic template side channel attacks
• Advances in Cryptology - CRYPTO 2003
• Boosting higher-order correlation attacks by dimensionality reduction
• Cache-timing attacks still threaten IoT devices
• Horizontal side-channel attacks and countermeasures on the ISW masking scheme
• Masking tables -- an underestimated security risk
• Masks will fall off. Higher-order optimal distinguishers
• Multivariate high-order attacks of shuffled tables recomputation
• Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
• PRESENT: An Ultra-Lightweight Block Cipher
• Provably secure higher-order masking of AES
• Selected Areas in Cryptography
• Selected Areas in Cryptography
• Side Channel Cryptanalysis of a Higher Order Masking Scheme
• Soft analytical side-channel attacks
• Taylor expansion of maximum likelihood attacks for masked and shuffled implementations
• Topics in Cryptology – CT-RSA 2006
• Verified Proofs of Higher-Order Masking

Cited in

(7)

• Formal verification of side-channel countermeasures via elementary circuit transformations
• A systematic appraisal of side channel evaluation strategies
• Virtual security evaluation. An operational methodology for side-channel leakage detection at source-code level
• Synthesis of masking countermeasures against side channel attacks
• Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software
• \textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks
• Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks

Describes a project that uses

Uses Software

• PRESENT
• Magma

This page was built for publication: Security evaluation against side-channel analysis at compilation time

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