Fast verification of masking schemes in characteristic two
From MaRDI portal
Publication:2056733
Recommendations
- Verified Proofs of Higher-Order Masking
- A fast algorithm for the Boolean masking problem
- Reducing the number of non-linear multiplications in masking schemes
- Efficient and provably secure methods for switching from arithmetic to Boolean masking
- Very high order masking: efficient implementation and security evaluation
- Masking proofs are tight and how to exploit it in security evaluations
- A New Class of Codes for Boolean Masking of Cryptographic Computations
- New instantiations of the CRYPTO 2017 masking schemes
- Fast transforms over finite fields of characteristic two
- Masking against Side-Channel Attacks: A Formal Security Proof
Cites work
- scientific article; zbMATH DE number 3748431 (Why is no real title available?)
- scientific article; zbMATH DE number 1418307 (Why is no real title available?)
- Advances in Cryptology - CRYPTO 2003
- Advances in cryptology -- ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2--6, 2018. Proceedings. Part I
- Advances in cryptology -- EUROCRYPT 2017. 36th annual international conference on the theory and applications of cryptographic techniques, Paris, France, April 30 -- May 4, 2017. Proceedings. Part I
- Constructive side-channel analysis and secure design. 9th international workshop, COSADE 2018, Singapore, April 23--24, 2018. Proceedings
- Fast Probabilistic Algorithms for Verification of Polynomial Identities
- Faster evaluation of sboxes via common shares
- Formal verification of masked hardware implementations in the presence of glitches
- How fast can higher-order masking be in software?
- Making Masking Security Proofs Concrete
- New instantiations of the CRYPTO 2017 masking schemes
- Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
- Private multiplication over finite fields
- Randomness complexity of private circuits for multiplication
- SILVER -- statistical independence and leakage verification
- Secure Multiplication for Bitslice Higher-Order Masking: Optimisation and Comparison
- The art of computer programming. Volume 4A. Combinatorial algorithms. Part 1.
- Tight private circuits: achieving probing security with the least refreshing
- Tornado: automatic generation of probing-secure masked bitsliced implementations
- Vectorizing higher-order masking
- Very high order masking: efficient implementation and security evaluation
Cited in
(7)- Unifying freedom and separation for tight probing-secure composition
- SILVER -- statistical independence and leakage verification
- Automated verification of correctness for masked arithmetic programs
- Algebraic decomposition for probing security
- New instantiations of the CRYPTO 2017 masking schemes
- Tight private circuits: achieving probing security with the least refreshing
- Verified Proofs of Higher-Order Masking
This page was built for publication: Fast verification of masking schemes in characteristic two
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2056733)
