article-journal

The interest in quantum computing has grown rapidly in recent years, and with it grows the importance of securing quantum circuits. A …

This work presents a novel, black-box software-based countermeasure against physical attacks including power side-channel and …

The rapid growth of interest in quantum computing has brought about the need to secure these powerful machines against a range of …

Energy harvesting battery-free embedded devices rely only on ambient energy harvesting that enables stand-alone and sustainable IoT applications. These devices execute programs intermittently when the harvested ambient energy in their energy reservoir is sufficient to operate and stop execution abruptly (and start charging) otherwise. This work presents a probabilistic symbolic execution approach that analyzes the timing and energy behavior of intermittent programs at compile time.

This article surveys the landscape of security verification approaches and techniques for computer systems at various levels: from a …

Context Software architecture viewpoints modularize the software architectures in terms of different viewpoints that each address a …

An important aspect in system of systems (SoS) is the realization of the capabilities in different systems that work together. …

Software modeling is considered as the high-level design technique for describing abstract statements about software systems. While …