Ferhat Erata

According to our database, Ferhat Erata authored at least 25 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems.

Stephen Miner, Yoshiki Takashima, Simeng Han, Ferhat Erata, Timos Antonopoulos, Ruzica Piskac, Scott J. Shapiro

CoRR, 2024

Systematic Use of Random Self-Reducibility against Physical Attacks.

Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer

CoRR, 2024

ModelWriter: Text & Model-Synchronized Document Engineering Platform.

Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux

CoRR, 2024

2023

ETAP: Energy-aware Timing Analysis of Intermittent Programs.

Ferhat Erata, Eren Yildiz, Arda Goknil, Kasim Sinan Yildirim, Jakub Szefer, Ruzica Piskac, Gökçin Sezgin

ACM Trans. Embed. Comput. Syst., March, 2023

Survey of Approaches and Techniques for Security Verification of Computer Systems.

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

ACM J. Emerg. Technol. Comput. Syst., January, 2023

Classification of Quantum Computer Fault Injection Attacks.

Chuanqi Xu, Ferhat Erata, Jakub Szefer

CoRR, 2023

Exploration of Quantum Computer Power Side-Channels.

Chuanqi Xu, Ferhat Erata, Jakub Szefer

CoRR, 2023

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

Mohammad Yusaf Azimi, Celal Çagin Elgün, Atil Firat, Ferhat Erata, Cemal Yilmaz

IEEE Access, 2023

Design of Quantum Computer Antivirus.

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

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2023

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

Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers.

Chuanqi Xu, Ferhat Erata, Jakub Szefer

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Model-Based Test Adaptation for Smart TVs.

Atil Firat, Mohammad Yusaf Azimi, Celal Çagin Elgün, Ferhat Erata, Cemal Yilmaz

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2021

Deep Freezing Attacks on Capacitors and Electronic Circuits.

Jalil Morris, Obi Nnorom, Anisul Abedin, Ferhat Erata, Jakub Szefer

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2021

2020

Understanding Practitioners' Challenges on Software Modeling: A Survey.

Mert Ozkaya, Ferhat Erata

J. Comput. Lang., 2020

Automated reasoning framework for traceability management of system of systems.

Bedir Tekinerdogan, Ferhat Erata

Sci. Comput. Program., 2020

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

Mert Ozkaya, Ferhat Erata

Inf. Softw. Technol., 2020

2019

Integrating Static Code Analysis Toolchains.

Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning.

Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017

A tool for automated reasoning about traces based on configurable formal semantics.

Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Modeling traceability in system of systems.

Bedir Tekinerdogan, Ferhat Erata

Proceedings of the Symposium on Applied Computing, 2017

Tarski: a platform for automated analysis of dynamically configurable traceability semantics.

Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas

Proceedings of the Symposium on Applied Computing, 2017

ModelWriter: text and model-synchronized document engineering platform.

Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

A Model-Driven Engineering Technique for Developing Composite Content Applications.

Moharram Challenger, Ferhat Erata, Mehmet Önat, Hale Gezgen, Geylani Kardas

Proceedings of the 5th Symposium on Languages, Applications and Technologies, 2016

2014

Yazılım Ürün Hatlarında Yetenek Modeli ve Üstmodel Senkronizasyonu için bir Yöntem.

Ferhat Erata, Moharram Challenger, Serhat Gezgin, Akgün Demirbas, Mehmet Önat, Geylani Kardas

Proceedings of the 8th Turkish National Software Engineering Symposium, 2014