In this paper, we propose a new technique for Square Differential Fault Analysis (DFA) against AES that can recover a secret key even with a large number of noisy fault injections, while the previous approaches of the Square DFA cannot work with noise. This makes the attack more realistic because assuming the 100% accuracy of obtaining intended fault injections is usually impossible. Our succes...

We study finite element approximations of stochastic partial differential equations of Ginzburg-Landau type and the main paradigm considered in this paper is the stochastic Allen-Cahn model. We first demonstrate that the constructed stochastic finite element approximations are within an arbitrary level of tolerance from the corresponding one-dimensional stochastic partial differential equation;...

Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We report here a number of results concerning the learnability of these finite state machines. In the setting of identification in the limit with probability one, we prove that stochastic deterministic finite automata cannot be identified from only a polynomial quantity of data. If concerned wit...

We present the initial results of rapid fault estimations for the 2016 Kumamoto earthquake on April 16 (Mj 7.3), and coseismic displacements caused by the two large foreshocks that occurred on April 14 (Mj 6.5) and April 15 (Mj 6.4) from the GEONET real-time analysis system (REGARD), which is based on a Global Navigation Satellite System (GNSS) kinematic positioning technique. The real-time fin...

The Airy stress function for a long tensile fault of arbitrary dip and finite width buried in a homogeneous, isotropic, perfectly elastic half-space in welded contact with a homogeneous, orthotropic, perfectly elastic half-space are obtained. This Airy stress function is used to derive closed-form analytical expressions for the stresses at an arbitrary point of the half-space caused by along ve...

Software Reliability is defined as the probability of failure free operation for a specified period of time in a specified environment. If the size of the software system is large, and the number of the faults which are detected and removed through debugging activities becomes sufficiently small compared with the initial faults content at the beginning of the testing phase, in such a situation,...

Stochastic hybrid systems arise in numerous applications of systems with multiple models; e.g., air traffc management, flexible manufacturing systems, fault tolerant control systems etc. In a typical hybrid system, the state space is hybrid in the sense that some components take values in a Euclidean space, while some other components are discrete. In this paper we propose two stochastic hybrid...

Software needs to be adequately tested in order to increase the confidence that the system being developed is reliable. However, testing is a complicated and expensive process. Formal specification based models such as finite state machines have been widely used in system modelling and testing. In this PhD thesis, we primarily investigate fault detection and identification when testing from fin...