19 papers · ranked by Valyu relevance
Mohammad Abboush, Daniel Bamal, Christoph Knieke, Andreas Rausch + 1 more
'Jongmyon Kim'] A well-known challenge in the development of safety-critical systems in vehicles today is that reliability and safety assessment should be rigorously addressed and monitored. As a matter of fact, most safety problems caused by system failures can lead to serious hazards and loss of life. Notwithstanding…
Christopher Simon Liu, Fan Wang, Gould, Patrick + 1 more
The contributions of this paper are three-fold. First, we provide a beginner-friendly introduction to this research topic and an in-depth taxonomy of fault injection techniques. Second, we highlight the current state-of-the-art and provide a cost-benefit analysis of each attack method. Third, for those interested in…
Óscar Ruano, Francisco García-Herrero, Luis Alberto Aranda, Alfonso Sánchez-Macián + 3 more
'Alfonso Sánchez-Macián' 'Laura Rodriguez' 'Juan Antonio Maestro' 'Mario Marchese'] Communication systems that work in jeopardized environments such as space are affected by soft errors that can cause malfunctions in the behavior of the circuits such as, for example, single event upsets (SEUs) or multiple bit upsets…
Nicolás Ruminot, Claudio Estevez, Samuel Montejo-Sánchez, Xiaojie Wang
'Xiaojie Wang'] The rapid development of the Internet of Things (IoT) has brought about the processing and storage of sensitive information on resource-constrained devices, which are susceptible to various hardware attacks. Fault injection attacks (FIAs) stand out as one of the most widespread. Particularly…
Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella
—In this paper, we present a new fault injection tool (ProFIPy) for Python software. The tool is designed to be programmable, in order to enable users to specify their software fault model, using a domain-specific language (DSL) for fault injection. Moreover, to achieve better usability, ProFIPy is provided as…
Bilgiday Yuce, Patrick Schaumont, Marc F. Witteman
—Embedded software is developed under the assumption that hardware execution is always correct. Fault attacks break and exploit that assumption. Through the careful introduction of targeted faults, an adversary modifies the controlflow or data-flow integrity of software. The modified program execution is then analyzed…
Mehrdad Moradi, Bert Van Acker, Joachim Denil, Ondrej Stopka + 2 more
'Marek Jaśkiewicz' 'Milos Poliak'] The safety assessment of cyber-physical systems (CPSs) requires tremendous effort, as the complexity of cyber-physical systems is increasing. A well-known approach for the safety assessment of CPSs is fault injection (FI). The goal of fault injection is to find a catastrophic fault…
Fatimah Alhayan, Gaganjot Kaur, Sultan Alanazi, Mohammed Burhanur Rehman + 5 more
Fault injection is a critical technique for assessing the reliability of field programmable gate array (FPGA)-based embedded systems, particularly in radiation-prone and safety-critical applications. Conventional fault injection methods, such as bit upset fault injection testing (BUFIT), single critical fault injection…
Sajjad Haider, Babar Nazir
Computational grids are established with the intention of providing shared access to hardware and software based resources with special reference to increased computational capabilities. Fault tolerance is one of the most important issues faced by the computational grids. The main contribution of this survey is the…
Ahmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy + 3 more
'Tegawendé F. Bissyandé' 'Jacques Klein' 'Yves Le Traon'] Abstract—Much research on software engineering and software testing relies on experimental studies based on fault injection. Fault injection, however, is not often relevant to emulate real-world software faults since it "blindly" injects large numbers of faults.…
Max Hoffmann, Falk Schellenberg, Christof Paar
—Embedded systems are ubiquitous. However, physical access of users and likewise attackers makes them often threatened by fault attacks: a single fault during the computation of a cryptographic primitive can lead to a total loss of system security. This can have serious consequences, e.g., in safetycritical systems…
Hao Xu, Yuxi Hu, Bolong Tan, Xiaohai Shi + 3 more
'Jian‐Hui Jiang'] The reliability of operating systems (OSs) has always been a focus of attention in both academia and industry. This paper presents a novel methodology for failure analysis of Linux-like OSs based on fault injection. Initially, we systematically define Linux-like fault modes by adopting the method of…
Huiyu Tan, Pengfei Gao, Taolue Chen, Song Fu + 1 more
—Fault injection attacks represent a type of active, physical attack against cryptographic circuits. Various countermeasures have been proposed to thwart such attacks, the design and implementation of which are, however, intricate, error-prone, and laborious. The current formal fault-resistance verification approaches…
Tatsuya Oyama, Shunsuke Okura, Kota Yoshida, Takeshi Fujino + 4 more
'Hong-Ning Dai' 'Fengwei An' 'Ping Li' 'Po Yang'] A backdoor attack is a type of attack method that induces deep neural network (DNN) misclassification. The adversary who aims to trigger the backdoor attack inputs the image with a specific pattern (the adversarial mark) into the DNN model (backdoor model). In general…
Authors not listed
The ongoing threat of global warming necessitates a shift towards clean energy sources to meet rising demands while reducing carbon emissions. Polymer electrolyte fuel cells (PEFCs) represent a promising technology for both mobile and stationary applications but their poor operational lifetimes and frequent faults are…
Loïc J. Azzalini, David Crompton, Gabriele M. T. D’Eleuterio, Frances Skinner + 1 more
Data assimilation techniques for state and parameter estimation are frequently applied in the context of computational neuroscience. In this work, we show how an adaptive variant of the unscented Kalman filter (UKF) performs on the tracking of a conductance-based neuron model. Unlike standard recursive filter…
Lukas Hübner, Alexey M. Kozlov, Demian Hespe, Peter Sanders + 1 more
Phylogenetic trees are now routinely inferred on large scale HPC systems with thousands of cores as the parallel scalability of phylogenetic inference tools has improved over the past years to cope with the molecular data avalanche. Thus, the parallel fault tolerance of phylogenetic inference tools has become a…
Makenna Kuecks, Preeti Arra, Sarah Hoffmann-Weitsman, Makenzie Funk Craig + 1 more
Stentor coeruleus is an emerging model system for the study of morphogenesis and regeneration as well as behaviors like habituation and photosensation. While Stentor’s genome has been sequenced, genetic tools are currently limited to RNA interference by feeding. Here we show that microinjection of long double-stranded…
Authors not listed
Ni40Co20Fe10Cr10Al18W2 additively manufactured using laser powder bed fusion (LPBF) is among the toughest as-built alloys reported and is a promising candidate for use in extreme environments. However, its behavior under multi-megabar pressure regimes remains unexplored. We used femtosecond in situ X-ray diffraction to…