Ferhat Erata

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 29

Top Topics

Injection Attacks

Quantum Inspired

Automated Reasoning

Formal Semantics

Top Venues

ESEC/SIGSOFT FSE

Publications

Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (2) (2024)
Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
Integrating Static Code Analysis Toolchains. CoRR (2024)
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics. CoRR (2024)
Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. CoRR (2024)
Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer
Systematic Use of Random Self-Reducibility against Physical Attacks. CoRR (2024)
Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning. CoRR (2024)
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux
ModelWriter: Text & Model-Synchronized Document Engineering Platform. CoRR (2024)
Chuanqi Xu, Ferhat Erata, Jakub Szefer
Classification of Quantum Computer Fault Injection Attacks. CoRR (2023)
Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. EuroS&P (2023)
Chuanqi Xu, Ferhat Erata, Jakub Szefer
Exploration of Quantum Computer Power Side-Channels. CoRR (2023)
Ferhat Erata, Eren Yildiz, Arda Goknil, Kasim Sinan Yildirim, Jakub Szefer, Ruzica Piskac, Gökçin Sezgin
ETAP: Energy-aware Timing Analysis of Intermittent Programs. ACM Trans. Embed. Comput. Syst. 22 (2) (2023)
Sanjay Deshpande, Chuanqi Xu, Theodoros Trochatos, Hanrui Wang, Ferhat Erata, Song Han, Yongshan Ding, Jakub Szefer
Design of Quantum Computer Antivirus. HOST (2023)
Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, Jakub Szefer
Survey of Approaches and Techniques for Security Verification of Computer Systems. ACM J. Emerg. Technol. Comput. Syst. 19 (1) (2023)
Chuanqi Xu, Ferhat Erata, Jakub Szefer
Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers. CCS (2023)
Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. CoRR (2023)
Mohammad Yusaf Azimi, Celal Çagin Elgün, Atil Firat, Ferhat Erata, Cemal Yilmaz
AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs. IEEE Access 11 (2023)
Atil Firat, Mohammad Yusaf Azimi, Celal Çagin Elgün, Ferhat Erata, Cemal Yilmaz
Model-Based Test Adaptation for Smart TVs. AST@ICSE (2022)
Ferhat Erata, Arda Goknil, Eren Yildiz, Kasim Sinan Yildirim, Ruzika Piskac, Jakup Szfer, Gökçin Sezgin
ETAP: Energy-aware Timing Analysis of Intermittent Programs. CoRR (2022)
Jalil Morris, Obi Nnorom, Anisul Abedin, Ferhat Erata, Jakub Szefer
Deep Freezing Attacks on Capacitors and Electronic Circuits. SPACE (2021)
Mert Ozkaya, Ferhat Erata
Understanding Practitioners' Challenges on Software Modeling: A Survey. J. Comput. Lang. 58 (2020)
Bedir Tekinerdogan, Ferhat Erata
Automated reasoning framework for traceability management of system of systems. Sci. Comput. Program. 191 (2020)
Mert Ozkaya, Ferhat Erata
A survey on the practical use of UML for different software architecture viewpoints. Inf. Softw. Technol. 121 (2020)
Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
Integrating Static Code Analysis Toolchains. COMPSAC (1) (2019)
Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning. ESEC/SIGSOFT FSE (2018)
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux
ModelWriter: text and model-synchronized document engineering platform. ASE (2017)
Bedir Tekinerdogan, Ferhat Erata
Modeling traceability in system of systems. SAC (2017)
Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas
Tarski: a platform for automated analysis of dynamically configurable traceability semantics. SAC (2017)
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas
A tool for automated reasoning about traces based on configurable formal semantics. ESEC/SIGSOFT FSE (2017)
Moharram Challenger, Ferhat Erata, Mehmet Önat, Hale Gezgen, Geylani Kardas
A Model-Driven Engineering Technique for Developing Composite Content Applications. SLATE (2016)
Ferhat Erata, Moharram Challenger, Serhat Gezgin, Akgün Demirbas, Mehmet Önat, Geylani Kardas
Yazılım Ürün Hatlarında Yetenek Modeli ve Üstmodel Senkronizasyonu için bir Yöntem. UYMS (2014)