Results 11 to 20 of about 5,577,735 (299)
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
semanticscholar +5 more sources
Tight Private Circuits: Achieving Probing Security with the Least Refreshing [PDF]
IACR Cryptology ePrint Archive, 2018 Masking is a common countermeasure to secure implementations against side-channel attacks. In 2003, Ishai, Sahai, and Wagner introduced a formal security model, named t-probing model, which is now widely used to theoretically reason on the security of ...
Sonia Belaïd +2 more
semanticscholar +3 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
Robust but Relaxed Probing Model
Transactions on Cryptographic Hardware and Embedded SystemsMasking has become a widely applied and heavily researched method to protect cryptographic implementations against Side-Channel Analysis (SCA) attacks.
Nicolai Müller, Amir Moradi
doaj +2 more sources
Transactions on Cryptographic Hardware and Embedded Systems, 2021 There exists many masking schemes to protect implementations of cryptographic operations against side-channel attacks. It is common practice to analyze the security of these schemes in the probing model, or its variant which takes into account physical ...
Gaëtan Cassiers +1 more
doaj +2 more sources
Composable Gadgets with Reused Fresh Masks
Transactions on Cryptographic Hardware and Embedded Systems, 2022 Albeit its many benefits, masking cryptographic hardware designs has proven to be a non-trivial and error-prone task, even for experienced engineers.
David Knichel, Amir Moradi
doaj +2 more sources
garak: A Framework for Security Probing Large Language Models
CoRRAs Large Language Models (LLMs) are deployed and integrated into thousands of applications, the need for scalable evaluation of how models respond to adversarial attacks grows rapidly. However, LLM security is a moving target: models produce unpredictable output, are constantly updated, and the potential adversary is highly diverse: anyone with access ...
Leon Derczynski +4 more
openaire +4 more sources
Real-World Snapshots vs. Theory: Questioning the t-Probing Security Model [PDF]
IEEE Symposium on Security and Privacy, 2020 Due to its sound theoretical basis and practical efficiency, masking has become the most prominent countermeasure to protect cryptographic implementations against physical side-channel attacks (SCAs).
Thilo Krachenfels +4 more
semanticscholar +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
Provable Secure Parallel Gadgets
Transactions on Cryptographic Hardware and Embedded Systems, 2023 Side-channel attacks are a fundamental threat to the security of cryptographic implementations. One of the most prominent countermeasures against side-channel attacks is masking, where each intermediate value of the computation is secret shared, thereby
Francesco Berti +2 more
doaj +1 more source