Random probing security: verification, composition, expansion and new constructions
type: Item
instance of: scholarly article
title: Random probing security: verification, composition, expansion and new constructions
zbMATH Open document ID: 1503.94024
DOI: 10.1007/978-3-030-56784-2_12
author: Sonia Belaïd
author: Jean-Sébastien Coron
author: Emmanuel Prouff
author: Matthieu Rivain
author: Abdul Rahman Taleb
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 7614544
zbMATH Keywords: compiler
zbMATH Keywords: masking
zbMATH Keywords: automated verification
zbMATH Keywords: random probing model
MaRDI profile type: Publication
full work available at URL: 978-3-030-56784-2 12
OpenAlex ID: W3046514168
cites work: Secure computation with information leaking to an adversary
cites work: Private circuits: a modular approach
cites work: Circuit Compilers with $$O(1/\log (n))$$ O ( 1 / log ( n ) ) Leakage Rate
cites work: Verified Proofs of Higher-Order Masking
cites work: Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
cites work: Horizontal side-channel attacks and countermeasures on the ISW masking scheme
cites work: Private multiplication over finite fields
cites work: Tornado: automatic generation of probing-secure masked bitsliced implementations
cites work: Tight private circuits: achieving probing security with the least refreshing
cites work: Towards sound approaches to counteract power-analysis attacks
cites work: Efficient Multiparty Protocols via Log-Depth Threshold Formulae
cites work: Formal verification of side-channel countermeasures via elementary circuit transformations
cites work: Higher-Order Side Channel Security and Mask Refreshing
cites work: Unifying Leakage Models: From Probing Attacks to Noisy Leakage.
cites work: Q4502779
cites work: Player simulation and general adversary structures in perfect multiparty computation
cites work: Advances in Cryptology - CRYPTO 2003
cites work: Q4941869
cites work: Q4414265
cites work: Theory of Cryptography
cites work: Masking against Side-Channel Attacks: A Formal Security Proof
cites work: Provably Secure Higher-Order Masking of AES
description: scientific article; zbMATH DE number 7614544