Automated Reasoning

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
PDF Cite Project
A tool for automated reasoning about traces based on configurable formal semantics
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software …
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas
PDF Cite DOI URL