Results 1 to 10 of about 8,746 (112)
Random Probing Security: Verification, Composition, Expansion and New Constructions [PDF]
Lecture Notes in Computer Science, 2020 The masking countermeasure is among the most powerful countermeasures to counteract side-channel attacks. Leakage models have been exhibited to theoretically reason on the security of such masked implementations. So far, the most widely used leakage model is the probing model defined by Ishai, Sahai, and Wagner at (CRYPTO 2003).
Jean-Sébastien Coron +2 more
exaly +5 more sources
A Low Area Probing Detector for Power Efficient Security ICs
Lecture Notes in Computer Science, 2014 In this paper, a low cost, Low Area Probing Detector (LAPD) is presented. Probing or microprobing is an attack technique against integrated circuits implementing security functions, such as OTP tokens or smartcards. It allows intercepting secrets from on-chip wires as well as injecting faults for other attacks.
Michael Weiner +2 more
exaly +3 more sources
Secure Wire Shuffling in the Probing Model [PDF]
, 2021 In this paper we describe the first improvement of the wire shuffling countermeasure against side-channel attacks described by Ishai, Sahai and Wagner at Crypto 2003. More precisely, we show how to get worst case statistical security against t probes with running time \({\mathcal O}(t)\) instead of \({\mathcal O}(t \log t)\); our construction is also ...
Jean-Sébastien Coron, Lorenzo Spignoli
openaire +1 more source
Securing Compilation Against Memory Probing [PDF]
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018 A common security recommendation is to reduce the in-memory lifetime of secret values, in order to reduce the risk that an attacker can obtain secret data by probing memory. To mitigate this risk, secret values can be overwritten, at source level, after their last use.
Besson, Frédéric +2 more
openaire +2 more sources
On the spectral features of robust probing security
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020 In this work we provide a spectral formalization of non-interference in the presence of glitches. Our goal is to present new theoretical and practical tools to reason about robust-d-probing security. We show that the current understanding of extended probes lends itself to probes that participate, during gadget composition, to the creation of ...
Maria Chiara Molteni, Vittorio Zaccaria
openaire +4 more sources
A relation calculus for reasoning about t-probing security [PDF]
Journal of Cryptographic Engineering, 2022 AbstractIn the context of side-channel attacks against cryptographic circuits, t-probing security characterizes the amount of information derivable about sensitive values (e.g., keys) by observing t output/internal values. Non-interference is a useful mathematical tool used by researchers to assess the probing security of a circuit which employs ...
Maria Chiara Molteni, Vittorio Zaccaria
openaire +2 more sources
Concrete Evaluation of the Random Probing Security.
CoRR, 2020 We study masked implementation's security when an adversary randomly probes each of its internal variables, intending to recover non-trivial knowledge about its secrets. We introduce a novel metric called Secret Recovery Probability (SRP) for assessing the informativeness of the probing leakages about the masked secrets.
Jahandideh, Vahid +2 more
openaire +4 more sources
Random Probing Security with Precomputation
IACR Transactions on Cryptographic Hardware and Embedded SystemsAt Eurocrypt 2014, Duc, Dziembowski and Faust proposed the random probing model to bridge the gap between the probing model proposed at Crypto 2003 and the noisy model proposed at Eurocrypt 2013. Compared with the probing model whose noise in the leakages should (linearly) increase with the number of shares, the random probing model allows each ...
Bohan Wang +3 more
openaire +2 more sources
IACR Transactions on Cryptographic Hardware and Embedded SystemsThe ongoing transition to post-quantum cryptography has led to a surge of research in side-channel countermeasures tailored to these schemes. A prominent method to prove security in the context of side-channel analysis is the utilization of the well-established t-probing model. However, recent studies by Hermelink et al.
Dina Hesse +6 more
openaire +2 more sources
The propagation game: on simulatability, correlation matrices, and probing security
IACR Cryptol. ePrint Arch., 2023 This work is intended for researchers in the field of side-channel attacks, countermeasure analysis, and probing security. It reports on a formalization of simulatability in terms of categorical properties, which we think will provide a useful tool in the practitioner toolbox.
openaire +3 more sources