Unifying freedom and separation for tight probing-secure composition

DOI10.1007/978-3-031-38548-3_15OpenAlexW4385654402MaRDI QIDQ6186765FDOQ6186765

Authors: Sonia Belaïd, Gaëtan Cassiers, Matthieu Rivain, Abdul Rahman Taleb 

Publication date: 2 February 2024

Published in: Advances in Cryptology – CRYPTO 2023 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-38548-3_15

Recommendations

• Tight private circuits: achieving probing security with the least refreshing
• Towards tight random probing security
• Fast verification of masking schemes in characteristic two
• Random probing security: verification, composition, expansion and new constructions
• Verified Proofs of Higher-Order Masking

zbMATH Keywords

non-interferencemaskingprobing modelinput output separationregion probing modeltight private circuit

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

• Title not available (Why is that?)
• Randomness complexity of private circuits for multiplication
• Theory of Cryptography
• Advances in Cryptology - CRYPTO 2003
• Towards sound approaches to counteract power-analysis attacks
• Provably secure higher-order masking of AES
• Threshold Implementations Against Side-Channel Attacks and Glitches
• Title not available (Why is that?)
• Horizontal side-channel attacks and countermeasures on the ISW masking scheme
• Higher-order side channel security and mask refreshing
• Verified Proofs of Higher-Order Masking
• Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
• Masking against Side-Channel Attacks: A Formal Security Proof
• Unifying leakage models: from probing attacks to noisy leakage.
• Random probing security: verification, composition, expansion and new constructions
• Private multiplication over finite fields
• Tight private circuits: achieving probing security with the least refreshing
• How to securely compute with noisy leakage in quasilinear complexity
• Circuit compilers with \(O(1/\log (n))\) leakage rate
• Fast verification of masking schemes in characteristic two
• SILVER -- statistical independence and leakage verification
• Secure wire shuffling in the probing model
• Hardware Private Circuits: From Trivial Composition to Full Verification

Cited In (2)

• Exploiting algebraic structures in probing security
• Leakage-tolerant circuits

This page was built for publication: Unifying freedom and separation for tight probing-secure composition

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