selected

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

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

This work shows the first exploration and study of power-based side-channel attacks in quantum computers. The explored attacks could be used to recover information about the control pulses sent to these computers. By analyzing these control pulses, attackers can reverse-engineer the equivalent gate-level description of the circuits, and the algorithms being run, or data hard-coded into the circuits.

Pascal is a tool that introduces novel symbolic register analysis techniques for constant-time low-level cryptographic code, and verifies locations of potential single-trace power side-channel vulnerabilities with high precision. Pascal is evaluated on a number of implementations of post-quantum cryptographic algorithms, and it is able to find dozens of previously reported single-trace power side-channel vulnerabilities in these algorithms, all in an automated manner.

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 …

The development of quantum computers has been advancing rapidly in recent years. In addition to researchers and companies building …

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. …