Quantum Computer Side-Channel and Fault Injection Security Analysis

Ferhat Erata
Ferhat Erata
PhD Candidate at Yale | Applied Scientist Intern at Amazon AI

My research interests include automated reasoning, program synthesis, neurosymbolic approaches, security, and formal verification.