selected

Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers

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

Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer

Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers

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.

Chuanqi Xu, Ferhat Erata, Jakub Szefer

Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers

Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

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.

Ferhat Erata, Ruzica Piskac, Victor Mateu, Jakub Szefer

Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

ETAP: Energy-aware timing analysis of intermittent programs

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.

Ferhat Erata, Eren Yildiz, Arda Goknil, Kasim Sinan Yildirim, Jakub Szefer, Ruzica Piskac, Gokcin Sezgin

ETAP: Energy-aware timing analysis of intermittent programs

Survey of approaches and techniques for security verification of computer systems

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

Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, Jakub Szefer

AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs

Mohammad Yusaf Azimi, Celal Cagin Elgun, Atil Firat, Ferhat Erata, Cemal Yilmaz

Classification of Quantum Computer Fault Injection Attacks

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

Chuanqi Xu, Ferhat Erata, Jakub Szefer

Design of Quantum Computer Antivirus

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

Sanjay Deshpande, Chuanqi Xu, Theodoros Trochatos, Hanrui Wang, Ferhat Erata, Song Han, Yongshan Ding, Jakub Szefer

A survey on the practical use of UML for different software architecture viewpoints

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

Mert Ozkaya, Ferhat Erata

Automated reasoning framework for traceability management of system of systems

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

Bedir Tekinerdogan, Ferhat Erata