scholarly journals Improved Higher-Order Side-Channel Attacks with FPGA Experiments

2005 ◽  
pp. 309-323 ◽  
Author(s):  
Eric Peeters ◽  
François-Xavier Standaert ◽  
Nicolas Donckers ◽  
Jean-Jacques Quisquater
Keyword(s):  
Higher Order ◽  
Side Channel ◽  
Side Channel Attacks

scholarly journals Higher-Order Lookup Table Masking in Essentially Constant Memory

2021 ◽  
pp. 546-586
Author(s):  
Annapurna Valiveti ◽  
Srinivas Vivek
Keyword(s):  
Higher Order ◽  
Lookup Table ◽  
Side Channel ◽  
Pseudorandom Number Generator ◽  
Side Channel Attacks ◽  
Online Computation ◽  
Original Scheme ◽  
Memory Complexity ◽  
Resource Constrained Devices ◽  
Constrained Devices

Masking using randomised lookup tables is a popular countermeasure for side-channel attacks, particularly at small masking orders. An advantage of this class of countermeasures for masking S-boxes compared to ISW-based masking is that it supports pre-processing and thus significantly reducing the amount of computation to be done after the unmasked inputs are available. Indeed, the “online” computation can be as fast as just a table lookup. But the size of the randomised lookup table increases linearly with the masking order, and hence the RAM memory required to store pre-processed tables becomes infeasible for higher masking orders. Hence demonstrating the feasibility of full pre-processing of higher-order lookup table-based masking schemes on resource-constrained devices has remained an open problem. In this work, we solve the above problem by implementing a higher-order lookup table-based scheme using an amount of RAM memory that is essentially independent of the masking order. More concretely, we reduce the amount of RAM memory needed for the table-based scheme of Coron et al. (TCHES 2018) approximately by a factor equal to the number of shares. Our technique is based upon the use of pseudorandom number generator (PRG) to minimise the randomness complexity of ISW-based masking schemes proposed by Ishai et al. (ICALP 2013) and Coron et al. (Eurocrypt 2020). Hence we show that for lookup table-based masking schemes, the use of a PRG not only reduces the randomness complexity (now logarithmic in the size of the S-box) but also the memory complexity, and without any significant increase in the overall running time. We have implemented in software the higher-order table-based masking scheme of Coron et al. (TCHES 2018) at tenth order with full pre-processing of a single execution of all the AES S-boxes on a ARM Cortex-M4 device that has 256 KB RAM memory. Our technique requires only 41.2 KB of RAM memory, whereas the original scheme would have needed 440 KB. Moreover, our 8-bit implementation results demonstrate that the online execution time of our variant is about 1.5 times faster compared to the 8-bit bitsliced masked implementation of AES-128.

scholarly journals How to Estimate the Success Rate of Higher-Order Side-Channel Attacks

2014 ◽  
pp. 35-54 ◽  
Author(s):  
Victor Lomné ◽  
Emmanuel Prouff ◽  
Matthieu Rivain ◽  
Thomas Roche ◽  
Adrian Thillard
Keyword(s):  
Success Rate ◽  
Higher Order ◽  
Side Channel ◽  
Side Channel Attacks

Adaptive Chosen Plaintext Side-Channel Attacks for Higher-Order Masking Schemes

2021 ◽  
pp. 173-185
Author(s):  
Yanbin Li ◽  
Yuxin Huang ◽  
Ming Tang ◽  
Shougang Ren ◽  
Huanliang Xu
Keyword(s):  
Higher Order ◽  
Side Channel ◽  
Side Channel Attacks

scholarly journals A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

2021 ◽  
Vol 30 (3) ◽  
pp. 1-42
Author(s):  
Pengfei Gao ◽  
Hongyi Xie ◽  
Fu Song ◽  
Taolue Chen
Keyword(s):  
Hybrid Approach ◽  
Type System ◽  
Higher Order ◽  
Statistical Dependence ◽  
Side Channel ◽  
Side Channel Attacks ◽  
Model Counting ◽  
Channel Information ◽  
Efficient Type ◽  
Novel Model

Side-channel attacks, which are capable of breaking secrecy via side-channel information, pose a growing threat to the implementation of cryptographic algorithms. Masking is an effective countermeasure against side-channel attacks by removing the statistical dependence between secrecy and power consumption via randomization. However, designing efficient and effective masked implementations turns out to be an error-prone task. Current techniques for verifying whether masked programs are secure are limited in their applicability and accuracy, especially when they are applied. To bridge this gap, in this article, we first propose a sound type system, equipped with an efficient type inference algorithm, for verifying masked arithmetic programs against higher-order attacks. We then give novel model-counting-based and pattern-matching-based methods that are able to precisely determine whether the potential leaky observable sets detected by the type system are genuine or simply spurious. We evaluate our approach on various implementations of arithmetic cryptographic programs. The experiments confirm that our approach outperforms the state-of-the-art baselines in terms of applicability, accuracy, and efficiency.

Countermeasure for Cryptographic Chips to Resist Side-Channel Attacks

2009 ◽  
Vol 19 (11) ◽  
pp. 2990-2998 ◽  
Author(s):  
Tao ZHANG ◽  
Ming-Yu FAN
Keyword(s):  
Side Channel ◽  
Side Channel Attacks

scholarly journals ThermalAttackNet: Are CNNs Making It Easy to Perform Temperature Side-Channel Attack in Mobile Edge Devices?

2021 ◽  
Vol 13 (6) ◽  
pp. 146
Author(s):  
Somdip Dey ◽  
Amit Kumar Singh ◽  
Klaus McDonald-Maier
Keyword(s):  
Information Flow ◽  
Heat Dissipation ◽  
Side Channel ◽  
Side Channel Attack ◽  
Side Channel Attacks ◽  
Information Flow Control ◽  
On Chip ◽  
Temperature Side ◽  
Over Time ◽  
Memory Efficient

Side-channel attacks remain a challenge to information flow control and security in mobile edge devices till this date. One such important security flaw could be exploited through temperature side-channel attacks, where heat dissipation and propagation from the processing cores are observed over time in order to deduce security flaws. In this paper, we study how computer vision-based convolutional neural networks (CNNs) could be used to exploit temperature (thermal) side-channel attack on different Linux governors in mobile edge device utilizing multi-processor system-on-chip (MPSoC). We also designed a power- and memory-efficient CNN model that is capable of performing thermal side-channel attack on the MPSoC and can be used by industry practitioners and academics as a benchmark to design methodologies to secure against such an attack in MPSoC.

Sign in / Sign up

Export Citation Format

Share Document