CHASE 2022
co-located with ICSE 2022
Ferhat Erata

Registered user since Fri 6 May 2016

Name:Ferhat Erata
Bio:

I am a PhD Student in Computer Science at Yale University. My research interests include formal methods, decision procedures, and high-performance applications of automated reasoning to software and system security. Currently, I am working on automatic analysis of side-channel vulnerabilities in constant-time implementations of post-quantum and lightweight cryptographic algorithms. 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 software and system engineering in industry.

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

Contributions

Show activities from other conferences

ICSE 2022-profile
View general profile