Formal verification of arithmetic masking in hardware and software
From MaRDI portal
Recommendations
- Formal verification of masked hardware implementations in the presence of glitches
- Automated verification of correctness for masked arithmetic programs
- Formal verification of side-channel countermeasures via elementary circuit transformations
- Secure conversion between Boolean and arithmetic masking of any order
- High-order conversion from Boolean to arithmetic masking
Cites work
- A new algorithm for switching from arithmetic to Boolean masking.
- Addition with blinded operands
- Advances in Cryptology - CRYPTO 2003
- Alzette: a 64-bit ARX-boxes (feat. CRAX and TRAX)
- Analysis of Boolean Functions
- Arithmetic Addition over Boolean Masking
- Bricklayer attack: a side-channel analysis on the ChaCha quarter round
- Consolidating masking schemes
- Conversion from arithmetic to Boolean masking with logarithmic complexity
- Conversion of security proofs from one leakage model to another: a new issue
- Cryptographic Hardware and Embedded Systems - CHES 2004
- Efficient and provably secure methods for switching from arithmetic to Boolean masking
- Efficiently masking binomial sampling at arbitrary orders for lattice-based crypto
- Formal verification of masked hardware implementations in the presence of glitches
- High-order conversion from Boolean to arithmetic masking
- Higher-order side channel security and mask refreshing
- scientific article; zbMATH DE number 3576668 (Why is no real title available?)
- scientific article; zbMATH DE number 1857508 (Why is no real title available?)
- scientific article; zbMATH DE number 1878319 (Why is no real title available?)
- scientific article; zbMATH DE number 1418307 (Why is no real title available?)
- Masking AES with \(d+1\) shares in hardware
- Masking large keys in hardware: a masked implementation of McEliece
- Masking the GLP lattice-based signature scheme at any order
- Memory-efficient high-speed implementation of Kyber on Cortex-M4
- Modular Multiplication Without Trial Division
- Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks
- Secure and efficient software masking on superscalar pipelined processors
- Secure conversion between Boolean and arithmetic masking of any order
- Secure integration of asymmetric and symmetric encryption schemes
- SILVER -- statistical independence and leakage verification
- The \textsc{Simon} and \textsc{Speck} block ciphers on AVR 8-bit microcontrollers
- Topics in Cryptology – CT-RSA 2005
- Unrolling cryptographic circuits: a simple countermeasure against side-channel attacks
- Verified Proofs of Higher-Order Masking
Cited in
(2)
This page was built for publication: Formal verification of arithmetic masking in hardware and software
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535070)
