Digital security in all its forms, whether focused on computer security, information security, or
cyber security, has practices of modelling at its core. Over recent decades, the goals of …

Real-time cyber-physical systems have become ubiquitous. As such systems are often
mission-critical, designers must include mitigations against various types of hardware faults …

Environmental noise (eg heat, ionized particles, etc.) causes transient faults in hardware,
which lead to corruption of stored values. Mission-critical devices require such faults to be …

Bitflips, or single-event upsets (SEUs) as they are more formally known, may occur for
instance when a high-energy particle such as a proton strikes a CPU and thereby corrupting …

Environmental noise (eg heat, ionized particles, etc.) causes transient faults in hardware,
which lead to corruption of stored values. Mission-critical devices require such faults to be …

The interest in mobile communication is extending from voice services to various mobile
data services. The IS-95, IS-95A, IS-95B specifications of TIA/EIA provide a multimedia …