Demo Data from VLDB 2026 / reviewers in the wild / expert
Ali Galip Bayrak
dblp:53/10063
· DBLP profile ↗
6ranked-venue papers
6as first author
0since 2021 · last 2015
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 4 · 4 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorSecurity and privacy · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author
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.
| Network and information security
4 papers |
Hardware security and side channels · 84% Cryptographic primitives and cryptanalysis · 16% | |
| Software engineering, system software, and programming languages
2 papers |
Compilers and program optimization · 57% Program verification · 43% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Processor architecture and microarchitecture · 100% |
Topics — the 9 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware security and side channels › side-channel attack
power analysis |
0.3 | 2 | 2015 | Automatic Application of Power Analysis Countermeasures · IEEE Trans. Computers 2015 A first step towards automatic application of power analysis countermeasures · DAC 2011 |
Hardware security and side channels
side-channel countermeasures |
0.3 | 2 | 2013 | Sleuth: Automated Verification of Software Power Analysis Countermeasures · CHES 2013 An architecture-independent instruction shuffler to protect against side-channel attacks · ACM Trans. Archit. Code Optim. 2012 |
Hardware security and side channels › side-channel countermeasures
software countermeasures |
0.2 | 1 | 2015 | Automatic Application of Power Analysis Countermeasures · IEEE Trans. Computers 2015 |
Compilers and program optimization
secure compilation |
0.2 | 1 | 2015 | Automatic Application of Power Analysis Countermeasures · IEEE Trans. Computers 2015 |
Hardware security and side channels › side-channel countermeasures
power analysis countermeasure |
0.2 | 1 | 2013 | Sleuth: Automated Verification of Software Power Analysis Countermeasures · CHES 2013 |
Program verification
automated verification |
0.2 | 1 | 2013 | Sleuth: Automated Verification of Software Power Analysis Countermeasures · CHES 2013 |
Processor architecture and microarchitecture › microprocessor design › processor core design
in-order core |
0.1 | 1 | 2012 | An architecture-independent instruction shuffler to protect against side-channel attacks · ACM Trans. Archit. Code Optim. 2012 |
Cryptographic primitives and cryptanalysis
block cipher |
0.1 | 1 | 2015 | Automatic Application of Power Analysis Countermeasures · IEEE Trans. Computers 2015 |
Cryptographic primitives and cryptanalysis › symmetric cryptography
AES implementation |
0.0 | 1 | 2011 | A first step towards automatic application of power analysis countermeasures · DAC 2011 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.4dynamic analysis · 0.4information-theoretic metric · 0.3random number generation · 0.3FPGA implementation · 0.3information theoretic metric · 0.2instruction vulnerability identification · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2015 | Automatic Application of Power Analysis CountermeasuresabstractWe introduce a compiler that automatically inserts software countermeasures to protect cryptographic algorithms against power-based side-channel attacks. The compiler first estimates which instruction instances leak the most information through side-channels. This information is obtained either by dynamic analysis, evaluating an information theoretic metric over the power traces acquired during the execution of the input program, or by static analysis. As information leakage implies a loss of security, the compiler then identifies (groups of) instruction instances to protect with a software countermeasure such as random precharging or Boolean masking. As software protection incurs significant overhead in terms of cryptosystem runtime and memory usage, the compiler protects the minimum number of instruction instances to achieve a desired level of security. The compiler is evaluated on two block ciphers, AES and Clefia; our experiments demonstrate that the compiler can automatically identify and protect the most important instruction instances. To date, these software countermeasures have been inserted manually by security experts, who are not necessarily the main cryptosystem developers. Our compiler offers significant productivity gains for cryptosystem developers who wish to protect their implementations from side-channel attacks. Ali Galip Bayrak, Francesco Regazzoni 0001, David Novo, Philip Brisk, François-Xavier Standaert, Paolo Ienne |
IEEE Trans. Computers | 1 |
| 2013 | Sleuth: Automated Verification of Software Power Analysis Countermeasures
Ali Galip Bayrak, Francesco Regazzoni 0001, David Novo, Paolo Ienne |
CHES | 1 |
| 2013 | An EDA-friendly protection scheme against side-channel attacksabstractThis paper introduces a generic and automated methodology to protect hardware designs from side-channel attacks in a manner that is fully compatible with commercial standard cell design flows. The paper describes a tool that artificially adds jitter to the clocks of the sequential elements of a cryptographic unit, which increases the non-determinism of signal timing, thereby making the physical device more difficult to attack. Timing constraints are then specified to commercial EDA tools, which restore the circuit functionality and efficiency while preserving the introduced randomness. The protection scheme is applied to an AES-128 hardware implementation that is synthesized using both ASIC and FPGA design flows. Ali Galip Bayrak, Nikola Velickovic, Francesco Regazzoni 0001, David Novo, Philip Brisk, Paolo Ienne |
DATE | 1 |
| 2012 | Formation preserving path finding in 3-D terrains
Ali Galip Bayrak, Faruk Polat |
Appl. Intell. | 1 |
| 2012 | An architecture-independent instruction shuffler to protect against side-channel attacksabstractEmbedded cryptographic systems, such as smart cards, require secure implementations that are robust to a variety of low-level attacks. Side-Channel Attacks (SCA) exploit the information such as power consumption, electromagnetic radiation and acoustic leaking through the device to uncover the secret information. Attackers can mount successful attacks with very modest resources in a short time period. Therefore, many methods have been proposed to increase the security against SCA. Randomizing the execution order of the instructions that are independent, i.e., random shuffling , is one of the most popular among them. Implementing instruction shuffling in software is either implementation specific or has a significant performance or code size overhead. To overcome these problems, we propose in this work a generic custom hardware unit to implement random instruction shuffling as an extension to existing processors. The unit operates between the CPU and the instruction cache (or memory, if no cache exists), without any modification to these components. Both true and pseudo random number generators are used to dynamically and locally provide the shuffling sequence. The unit is mainly designed for in-order processors, since the embedded devices subject to these kind of attacks use simple in-order processors. More advanced processors (e.g., superscalar, VLIW or EPIC processors) are already more resistant to these attacks because of their built-in ILP and wide word size. Our experiments on two different soft in-order processor cores, i.e., OpenRISC and MicroBlaze, implemented on FPGA show that the proposed unit could increase the security drastically with very modest resource overhead. With around 2% area, 1.5% power and no performance overhead, the shuffler increases the effort to mount a successful power analysis attack on AES software implementation over 360 times. Ali Galip Bayrak, Nikola Velickovic, Paolo Ienne, Wayne P. Burleson |
ACM Trans. Archit. Code Optim. | 1 |
| 2011 | A first step towards automatic application of power analysis countermeasuresabstractIn cryptography, side channel attacks, such as power analysis, attempt to uncover secret information from the physical implementation of cryptosystems rather than exploiting weaknesses in the cryptographic algorithms themselves. The design and implementation of physically secure cryptosystems is a challenge for both hardware and software designers. Measuring and evaluating the security of a system is manual and empirical, which is costly and time consuming; this work demonstrates that it is possible to automate these processes. We introduce a systematic methodology for automatic application of software countermeasures and demonstrate its effectiveness on an AES software implementation running on an 8-bit AVR microcontroller. The framework identifies the most vulnerable instructions of the implementation to power analysis attacks, and then transforms the software using a chosen countermeasure to protect the vulnerable instructions. Lastly, it evaluates the security of the system using an information-theoretic metric and a direct attack. Ali Galip Bayrak, Francesco Regazzoni 0001, Philip Brisk, François-Xavier Standaert, Paolo Ienne |
DAC | 1 |