Verified Proofs of Higher-Order Masking
From MaRDI portal
Publication:2948340
DOI10.1007/978-3-662-46800-5_18zbMath1370.94486OpenAlexW587262091MaRDI QIDQ2948340
François Dupressoir, Sonia Belaïd, Pierre-Alain Fouque, Gilles Barthe, Pierre-Yves Strub, Benjamin Grégoire
Publication date: 30 September 2015
Published in: Advances in Cryptology -- EUROCRYPT 2015 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-46800-5_18
Related Items (19)
Correlation power analysis and higher-order masking implementation of WAGE ⋮ Proving SIFA protection of masked redundant circuits ⋮ Effective and efficient masking with low noise using small-Mersenne-prime ciphers ⋮ Handcrafting: improving automated masking in hardware with manual optimizations ⋮ Combined fault and leakage resilience: composability, constructions and compiler ⋮ Secure and efficient software masking on superscalar pipelined processors ⋮ Unifying freedom and separation for tight probing-secure composition ⋮ SILVER -- statistical independence and leakage verification ⋮ Cryptanalysis of masked ciphers: a not so random idea ⋮ Security Evaluation Against Side-Channel Analysis at Compilation Time ⋮ Vectorizing Higher-Order Masking ⋮ Compositional Synthesis of Leakage Resilient Programs ⋮ Detecting Flawed Masking Schemes with Leakage Detection Tests ⋮ Statistical properties of side-channel and fault injection attacks using coding theory ⋮ Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model ⋮ How Fast Can Higher-Order Masking Be in Software? ⋮ Masking the GLP lattice-based signature scheme at any order ⋮ Side-channel masking with pseudo-random generator ⋮ Random probing security: verification, composition, expansion and new constructions
This page was built for publication: Verified Proofs of Higher-Order Masking
