Results 1 to 10 of about 2,001,512 (280)
On the spectral features of robust probing security
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.
Maria Chiara Molteni, Vittorio Zaccaria
doaj +4 more sources
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 ...
Dina Hesse +6 more
doaj +3 more sources
Random Probing Security with Precomputation
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.
Bohan Wang +3 more
doaj +3 more sources
Testing Security Equivalence in the Random Probing Model
Transactions on Cryptographic Hardware and Embedded SystemsThe random probing model is a theoretical model that abstracts the physical leakage of an embedded device running a cryptographic scheme with more realistic assumptions compared to the threshold probing model.
Anna Guinet +5 more
doaj +3 more sources
Toward Exposing Timing-Based Probing Attacks in Web Applications
Sensors, 2017 Web applications have become the foundation of many types of systems, ranging from cloud services to Internet of Things (IoT) systems. Due to the large amount of sensitive data processed by web applications, user privacy emerges as a major concern in web
Jian Mao +4 more
doaj +3 more sources
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).
Emmanuel Prouff +2 more
exaly +5 more sources
Algorithmic Tamper-Proof Security under Probing Attacks [PDF]
Lecture Notes in Computer Science, 2010 Gennaro et al. initiated the study of algorithmic tamper proof (ATP) cryptography: cryptographic hardware that remains secure even in the presence of an adversary who can tamper with the memory content of a hardware device. In this paper, we solve an open problem stated in their paper, and also consider whether a device can be secured against an ...
Anna Lysyanskaya
exaly +3 more sources
An Algebraic Approach for Evaluating Random Probing Security With Application to AES
Transactions on Cryptographic Hardware and Embedded SystemsWe employ an algebraic approach to estimate the success rate of a sidechannel adversary attacking secrets of a masked circuit within the Random Probing Model (RPM), where intermediate variables of the implementation leak with a probability p. Our method
Vahid Jahandideh +2 more
doaj +3 more sources
Transactions on Cryptographic Hardware and Embedded Systems, 2022 Even today, Side-Channel Analysis attacks pose a serious threat to the security of cryptographic implementations fabricated with low-power and nanoscale feature technologies.
Nicolai Müller, Amir Moradi
doaj +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