Physical layer authentication is an important technique for cybersecurity, especially in military scenarios. Device classification using radio frequency fingerprinting, which based on recognizing device-unique characteristics of the transient waveform observed at beginning a transmission from device, promising method this context. In study, effect ambient temperature performance device RF finge...

We suggest several methods that may allow one to completely break cryptosystems implemented in a portable hardware device such as a smart card. These cryptanalytic methods work by exploring the hardware in such a way that the pseudo-random number generator embedded in the device behaves predictably, even for a very short period of time. While these attacking methods will be discussed by standin...

We consider in this paper the mathematical and numerical modelling of reflective boundary conditions (BC) associated to Boltzmann Poisson systems, including diffusive reflection in addition to specularity, in the context of electron transport in semiconductor device modelling at nano scales, and their implementation in Discontinuous Galerkin (DG) schemes. We study these BC on the physical bound...

Fiber Bragg Grating (FBG) sensors are comprehensively recognized as a structural stability monitoring device for all kinds of geo-materials by either embedding into or bonding onto the structural entities. The physical model in geotechnical engineering, which could accurately simulate the construction processes and the effects on the stability of underground caverns on the basis of satisfying t...

Between 1990 and 2000, over 600,000 implantable cardiac pacemakers and cardioverter defibrillators were recalled. 41% of these devices were recalled due to device software issues. Software-related recalls are increasing with the growing complexity of medical device software, which is responsible for the life-critical operation with the organ. Currently, there are no formal methods to test and v...

Simulation results of InAlAs/InGaAs High Electron Mobility Transistors based on both GaAs and InP substrates are presented using the two-dimensional device simulator MINIMOS-NT. Three different HEMT technologies are evaluated by simulation and a single set of physical parameters is verified. The critical interaction of selfheating, impact ionization, SiN surface effects, and material compositio...

The unobservable elements in a quantum technology, e.g., the quantum state, complicate system verification against promised behavior. Using model-based system engineering, we present methods for verifying the operation of a prototypical quantum random number generator. We begin with the algorithmic design of the QRNG followed by the synthesis of its physical design requirements. We next discuss...

A fully automatic macromodeling methodology to generate scalable reduced-order models for microelectromechanical systems is presented in this paper. Krylov subspace methods are used to generate reduced-order models from detailed higher-order models of the device under consideration. The entire methodology is implemented in a symbolic computation environment to preserve dependencies on physical ...

This paper presents a technique that supports a knowledge engineer in constructing a qualitative model of a physical device . The technique is specifically aimed at achieving a parsimonious model of device behaviour. First we explain why a model that is composed of general model fragments may still contain irrelevant particles . Then we present a technique that removes these irrelevant model pa...