Results 11 to 20 of about 2,001,512 (280)
Probing Security through Input-Output Separation and Revisited Quasilinear Masking
Transactions on Cryptographic Hardware and Embedded Systems, 2021 The probing security model is widely used to formally prove the security of masking schemes. Whenever a masked implementation can be proven secure in this model with a reasonable leakage rate, it is also provably secure in a realistic leakage model known
Dahmun Goudarzi +3 more
doaj +1 more source
Quantile: Quantifying Information Leakage
Transactions on Cryptographic Hardware and Embedded Systems, 2023 The masking countermeasure is very effective against side-channel attacks such as differential power analysis. However, the design of masked circuits is a challenging problem since one has to ensure security while minimizing performance overheads.
Vedad Hadžic +4 more
doaj +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
On robust strong‐non‐interferent low‐latency multiplications
IET Information Security, 2022 The overarching goal of this work is to present new theoretical and practical tools to implement robust−t−probing security. In this work, a low‐latency multiplication gadget that is secure against probing attacks that exploit logic glitches in the ...
Maria Chiara Molteni +2 more
doaj +1 more source
A White-Box Masking Scheme Resisting Computational and Algebraic Attacks
Transactions on Cryptographic Hardware and Embedded Systems, 2021 White-box cryptography attempts to protect cryptographic secrets in pure software implementations. Due to their high utility, white-box cryptosystems (WBC) are deployed by the industry even though the security of these constructions is not well defined ...
Okan Seker +2 more
doaj +1 more source
Changing Homeland Security: What is Homeland Security? [PDF]
, 2008 This article appeared in Homeland Security Affairs (June 2008), v.4 no.2This report published in the June 2008 edition of the Homeland Security Affairs Journal, attempts to address the question of what exactly is Homeland Security and what exactly do ...
Bellavita, Christopher
core +2 more sources
Nevada National Security Site Waste Acceptance Criteria [PDF]
, 2010 This document establishes the U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) Nevada National Security Site Waste Acceptance Criteria (NNSSWAC).
National Security Technologies, LLC
core +1 more source
Transitional Leakage in Theory and Practice
Transactions on Cryptographic Hardware and Embedded Systems, 2022 Accelerated by the increased interconnection of highly accessible devices, the demand for effective and efficient protection of hardware designs against Side-Channel Analysis (SCA) is ever rising, causing its topical relevance to remain immense in both,
Nicolai Müller +3 more
doaj +1 more source
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 +3 more sources