paper-conference

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.

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

We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on …

We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software …

An important aspect in SoS is the realization of the concerns in different systems that work together. Identifying and locating these …

Traceability can be defined as the degree to which a relationship can be established among work products of the development process. …