Unifying freedom and separation for tight probing-secure composition
From MaRDI portal
Publication:6186765
DOI10.1007/978-3-031-38548-3_15OpenAlexW4385654402MaRDI QIDQ6186765
Sonia Belaïd, Abdul Rahman Taleb, Matthieu Rivain, Gaëtan Cassiers
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
maskingnon-interferenceprobing modelinput output separationregion probing modeltight private circuit
Cites Work
- Unnamed Item
- Unnamed Item
- Private multiplication over finite fields
- Horizontal side-channel attacks and countermeasures on the ISW masking scheme
- Tight private circuits: achieving probing security with the least refreshing
- How to securely compute with noisy leakage in quasilinear complexity
- Fast verification of masking schemes in characteristic two
- Random probing security: verification, composition, expansion and new constructions
- Secure wire shuffling in the probing model
- SILVER -- statistical independence and leakage verification
- Higher-Order Side Channel Security and Mask Refreshing
- Verified Proofs of Higher-Order Masking
- Hardware Private Circuits: From Trivial Composition to Full Verification
- Threshold Implementations Against Side-Channel Attacks and Glitches
- Provably Secure Higher-Order Masking of AES
- Masking against Side-Channel Attacks: A Formal Security Proof
- Towards sound approaches to counteract power-analysis attacks
- Unifying Leakage Models: From Probing Attacks to Noisy Leakage.
- Advances in Cryptology - CRYPTO 2003
- Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
- Circuit Compilers with $$O(1/\log (n))$$ O ( 1 / log ( n ) ) Leakage Rate
- Randomness Complexity of Private Circuits for Multiplication
- Theory of Cryptography
This page was built for publication: Unifying freedom and separation for tight probing-secure composition
