Publications

Ferhat Erata, Orr Paradise, Timos Antonopoulos, ThanhVu Nguyen, Shafi Goldwasser, Ruzica Piskac (2025). Learning Randomized Reductions and Program Properties.

Cite Project Tool Website Preprint

Ferhat Erata, TingHung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer (2024). Systematic Use of Random Self-Reducibility against Physical Attacks. IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

PDF Cite Project Slides Video DOI

Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer (2024). Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES).

PDF Cite Project Slides Video DOI URL

Chuanqi Xu, Ferhat Erata, Jakub Szefer (2024). Classification of Quantum Computer Fault Injection Attacks. IEEE International Conference on Quantum Computing and Engineering (QCE).

PDF Cite Project DOI URL

Chuanqi Xu, Ferhat Erata, Jakub Szefer (2023). Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers. ACM SIGSAC Conference on Computer and Communications Security (CCS).

PDF Cite Project DOI URL

Ferhat Erata, Ruzica Piskac, Victor Mateu, Jakub Szefer (2023). Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. European Symposium on Security and Privacy (EuroS&P).

PDF Cite Slides Video DOI URL

Ferhat Erata, Eren Yildiz, Arda Goknil, Kasim Sinan Yildirim, Jakub Szefer, Ruzica Piskac, Gokcin Sezgin (2023). ETAP: Energy-aware timing analysis of intermittent programs. ACM Transactions on Embedded Computing Systems (TECS).

PDF Cite DOI URL

Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, Jakub Szefer (2023). Survey of approaches and techniques for security verification of computer systems. ACM Journal on Emerging Technologies in Computing Systems (JETC).

PDF Cite DOI URL

Sanjay Deshpande, Chuanqi Xu, Theodoros Trochatos, Hanrui Wang, Ferhat Erata, Song Han, Yongshan Ding, Jakub Szefer (2023). Design of Quantum Computer Antivirus. International Symposium on Hardware Oriented Security and Trust (HOST).

PDF Cite DOI URL

Mohammad Yusaf Azimi, Celal Cagin Elgun, Atil Firat, Ferhat Erata, Cemal Yilmaz (2023). AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs. IEEE Access.

PDF Cite DOI URL

Mert Ozkaya, Ferhat Erata (2020). Understanding practitioners' challenges on software modeling: A survey. Journal of Computer Languages.

PDF Cite DOI URL

Bedir Tekinerdogan, Ferhat Erata (2020). Automated reasoning framework for traceability management of system of systems. Science of Computer Programming.

PDF Cite DOI URL

Mert Ozkaya, Ferhat Erata (2020). A survey on the practical use of UML for different software architecture viewpoints. Information and Software Technology.

PDF Cite DOI URL

Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frederic Loiret, Stefan Otten, Eric Sax (2019). Integrating static code analysis toolchains. IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC).

PDF Cite DOI URL

Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan (2018). AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning. Proceedings of Foundations of Software Engineering (ESEC/FSE).

PDF Cite DOI URL

Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas (2017). Tarski: A platform for automated analysis of dynamically configurable traceability semantics. Symposium on Applied Computing (SAC).

Cite DOI URL

Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux (2017). ModelWriter: Text and model-synchronized document engineering platform. 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).

PDF Cite DOI URL

Bedir Tekinerdogan, Ferhat Erata (2017). Modeling traceability in system of systems. Proceedings of the Symposium on Applied Computing (SAC).

PDF Cite DOI URL

Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas (2017). A tool for automated reasoning about traces based on configurable formal semantics. Proceedings of Foundations of Software Engineering (ESEC/FSE).

PDF Cite DOI URL