Ferhat Erata

Registered user since Fri 6 May 2016

Name:Ferhat Erata

I am a PhD Student in Computer Science at Yale University. My research interests include formal methods, decision procedures, distributed systems, and high-performance applications of automated reasoning to software and system security. My dissertation research focuses on automatic detection and repair of side channel vulnerabilities in software and binary code. I have been working as an Applied Scientist Intern at Automated Reasoning Group in Amazon Web Services. My industrial research concentrates on developing efficient methods for consistency checking of distributed storage systems. Before coming to Yale, I took part as a software research engineer in various R&D projects, in which I mainly applied formal methods to industry. I am also a Rust Language enthusiast.

Country:United States
Affiliation:Yale University
Research interests:Automated Reasoning, Formal Methods, Side-Channel Analysis, Constant-Time Cryptography, Security


VMCAI 2023 Committee Member in Artifact Evaluation Committee within the VMCAI 2023-track
AST 2022 Author of Model-Based Test Adaptation for Smart TVs within the AST 2022-track
ESEC/FSE 2018 Author of AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning within the Demonstrations-track