Results 271 to 280 of about 148,579 (316)

A CMOS fault extractor for inductive fault analysis

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
The inductive fault analysis (IFA) method is presented and a description is given of the CMOS fault extraction program FXT. The IFA philosophy is to consider the causes of faults (manufacturing defects) and then simulate these causes to find the faults that are likely to occur in a circuit.
F. Joel Ferguson, John Paul Shen
openaire   +1 more source

Vacuity Analysis by Fault Simulation

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2008
Vacuum cleaning is a mandatory process when an implementation is verified with respect to a specification modeled by means of formal properties. In fact, vacuum cleaning looks for properties that, passing vacuously (e.g., an implication whose antecedent is always false), may lead verification engineers to a false sense of safety.
DI GUGLIELMO, Luigi, FUMMI, Franco, PRAVADELLI, Graziano   +2 more
openaire   +2 more sources

Incremental Fault Analysis: Relaxing the Fault Model of Differential Fault Attacks

IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2020
This article presents a new fault analysis technique against cryptographic devices called the incremental fault analysis (IFA), which can be adapted into fault attacks using more traditional differential fault analysis (DFA) techniques in order to increase their feasibility under more practical fault injection conditions.
Trevor E. Pogue, Nicola Nicolici
openaire   +1 more source

Probabilistic analysis of CAN with faults

23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 2003
As CANs (controller area networks) are being increasingly used in safety-critical applications, there is a need for accurate predictions of failure probability. In this paper we provide a general probabilistic schedulability analysis technique which is applied specifically to CANs to determine the effect of random network faults on the response times ...
Ian Broster, Alan Burns 0001, Guillermo Rodríguez-Navas   +2 more
openaire   +1 more source

Fault analysis of GRAIN-128

2009 IEEE International Workshop on Hardware-Oriented Security and Trust, 2009
GRAIN-v1 is a stream cipher that has been selected in the final portfolio of the eSTREAM project. GRAIN-128 is a variant of GRAIN-v1. The best known mathematical attack against GRAIN-128 is the brute force key-search. This paper introduces a fault attack on GRAIN-128 based on a realistic fault model and explores possible improvements of the attack.
Guilhem Castagnos, Alexandre Berzati, Cécile Canovas, Blandine Debraize, Louis Goubin, Aline Gouget, Pascal Paillier, Stephanie Salgado   +7 more
openaire   +1 more source

Differential Fault Analysis of NORX

Proceedings of the 4th ACM Workshop on Attacks and Solutions in Hardware Security, 2020
In recent literature, there has been a particular interest in studying nonce-based Authenticated Encryption (AE) schemes in the light of fault-based attacks as they seem to present automatic protection against Differential Fault Attacks (DFA). In this work, we present the first DFA on nonce-based CAESAR scheme NORX (applicable to all the versions v1 ...
Amit Jana, Dhiman Saha, Goutam Paul 0001
openaire   +2 more sources

Analysis of Faults in Reversible Computing

2014 IEEE 44th International Symposium on Multiple-Valued Logic, 2014
In this paper we describe faults that can occur in reversible circuits. In particular, we focus on comparison of faults that can appear in classical circuits with faults that can occur in quantum technology. The analysis is generalized from the point of view of technologies such as information reversible and energy reversible.
Martin Lukac, Michitaka Kameyama, Marek A. Perkowski, Pawel Kerntopf, Claudio Moraga   +4 more
openaire   +1 more source

Differential Fault Intensity Analysis

2014 Workshop on Fault Diagnosis and Tolerance in Cryptography, 2014
Recent research has demonstrated that there is no sharp distinction between passive attacks based on side-channel leakage and active attacks based on fault injection. Fault behavior can be processed as side-channel information, offering all the benefits of Differential Power Analysis including noise averaging and hypothesis testing by correlation. This
Nahid Farhady Ghalaty, Bilgiday Yuce, Mostafa M. I. Taha, Patrick Schaumont   +3 more
openaire   +1 more source

Differential Fault Analysis on Midori

2016
Midori is an energy-efficient lightweight block cipher published by Banik et al. in ASIACRYPT 2015, which consists of two variants with block sizes of 64-bit and 128-bit, respectively. In this paper, a new method is proposed to exploit cell-oriented fault propagation patterns in recognizing appropriate faulty ciphertexts and fault positions, which ...
Wei Cheng 0003, Yongbin Zhou, Laurent Sauvage   +2 more
openaire   +1 more source

Differential Fault Analysis on CLEFIA

2007
CLEFIA is a new 128-bit block cipher proposed by SONY corporation recently. The fundamental structure of CLEFIA is a generalized Feistel structure consisting of 4 data lines. In this paper, the strength of CLEFIA against the differential fault attack is explored. Our attack adopts the byte-oriented model of random faults.
Hua Chen 0011, Wenling Wu, Dengguo Feng
openaire   +1 more source