Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Gilad Dar

dblp:296/0849 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2024
0000-0002-3441-4389ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2 · 2 first-author · 2 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Coding theory · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Hardware reliability and fault tolerance · 100%
Network and information security
2 papers
Hardware security and side channels · 57% Systems and software security · 43%

Topics — the 3 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Coding theory › error-correcting codes
error detection
0.812024
On Codes for Detecting Address and Data Manipulations in Memory Arrays · IEEE Trans. Inf. Theory 2024
Hardware reliability and fault tolerance › error detection
control flow checking
0.612022
Nonlinear Code-Based Low-Overhead Fine-Grained Control Flow Checking · IEEE Trans. Computers 2022
Hardware security and side channels
fault attacks
0.212024
On Codes for Detecting Address and Data Manipulations in Memory Arrays · IEEE Trans. Inf. Theory 2024

Methods — techniques the papers use, named apart from their topics

real-time checking · 1.7nonlinear encoder · 1.7MAC-based control flow checking · 1.7error injection analysis · 1.5code construction · 1.5
YearPublicationVenuePosition
2024 On Codes for Detecting Address and Data Manipulations in Memory Arrays
abstract
Often, data stored in memory must be protected from naturally occurring and malicious errors. Methods for constructing codes that are robust with respect to errors injected into the data as well as into the address (in which the data are to be stored) are described. Several ways of extending data-protecting codes to address-and-data protecting codes are presented, and a generalization of the concepts behind CPCs – low cost codes for which no error injected into the data is ever completely masked – is given. A fundamental difference between attacks on the address and data and attacks that only target the data is detailed, and the consequences of this fundamental difference are briefly considered.
Gilad Dar, Shlomo Engelberg, Osnat Keren
IEEE Trans. Inf. Theory1
2022 Nonlinear Code-Based Low-Overhead Fine-Grained Control Flow Checking
abstract
A hardware-based control flow monitoring technique enables the detection of errors in both the control flow and the instruction stream executed on a processor. However, as shown in recent publications, these techniques fail to detect malicious carefully-tuned manipulations of the instruction stream in a basic block. This article presents a non-linear encoder and checker that can cope with this weakness. It is a MAC based control flow checker that has the advantage of working with basic blocks of variable length, can detect every error, and performs the computation in real-time. The architecture can easily be modified to support different signature size and error masking probabilities.
Gilad Dar, Giorgio Di Natale, Osnat Keren
IEEE Trans. Computers1
2021 Compact Protection Codes for protecting memory from malicious data and address manipulations
abstract
Compact protection codes (CPCs) provide optimal protection against fault injections attacks on memory arrays content. Nevertheless, CPCs fail to detect errors injected into the address itself. Consequently, an adversary can write a correct data word to an erroneous address without being detected. This paper presents an efficient code, dubbed AD-CPC, which detects both data manipulations and faults injected into the address decoder. No additional redundancy bits are required and no latency is introduced. In addition, the new encoding has a negligible effect on the error masking probability of the original CPC. We provide theoretical bounds and experimental results that support these claims. We show that with r additional redundant bits every error can be detected with probability of at least 1 - 3.2-r.
Gilad Dar, Avihay Grigiac, David Peled, Yagel Ashkenazi, Menachem Goldzweig, Yoav Weizman, Osnat Keren
ETS1