Quantum Computer Side-Channel and Fault Injection Security Analysis
Ferhat Erata, Chuanqi Xu, Jakub Szefer
Nov 1, 2023Ferhat Erata
PhD Candidate at Yale | Applied Scientist Intern at AWS
My research interests include automated reasoning, program analysis, formal verification, security, and property synthesis.