Ferhat Erata
Ferhat Erata
Home
Experience
Service
Publications
Projects
Contact
CV
Light
Dark
Automatic
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
Slides
DOI
URL
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
Cite
×