Demo Data from EDBT 2026 / reviewers in the wild / expert
Gilad Dar
dblp:296/0849
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Coding theory › error-correcting codes
error detection |
0.8 | 1 | 2024 | 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.6 | 1 | 2022 | Nonlinear Code-Based Low-Overhead Fine-Grained Control Flow Checking · IEEE Trans. Computers 2022 |
Hardware security and side channels
fault attacks |
0.2 | 1 | 2024 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | On Codes for Detecting Address and Data Manipulations in Memory ArraysabstractOften, 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. Theory | 1 |
| 2022 | Nonlinear Code-Based Low-Overhead Fine-Grained Control Flow CheckingabstractA 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. Computers | 1 |
| 2021 | Compact Protection Codes for protecting memory from malicious data and address manipulationsabstractCompact 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 |
ETS | 1 |