Ferhat Erata
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2024 | ICCAD | Systematic Use of Random Self-Reducibility in Cryptographic Code against Physical Attacks. | Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer |
| 2024 | QCE | Quantum Computer Fault Injection Attacks. | Chuanqi Xu, Ferhat Erata, Jakub Szefer |
| 2023 | CCS | Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers. | Chuanqi Xu, Ferhat Erata, Jakub Szefer |
| 2022 | AST | Model-Based Test Adaptation for Smart TVs. | Atil Firat, Mohammad Yusaf Azimi, Celal agin Elgn, Ferhat Erata, Cemal Yilmaz |
| 2019 | COMPSAC | Integrating Static Code Analysis Toolchains. | Matthias Kern, Ferhat Erata, Ashlin Iser, Carsten Sinz, Frdric Loiret, Stefan Otten, Eric Sax |
| 2017 | SAC | Tarski: a platform for automated analysis of dynamically configurable traceability semantics. | Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tzn, Geylani Kardas |
| 2017 | SAC | Modeling traceability in system of systems. | Bedir Tekinerdogan, Ferhat Erata |