Mohammad R. Fadiheh received his M.Sc. in Electrical and Computer Engineering from TU Kaiserslautern in 2017. He is currently a Ph.D. candidate at Electronic Design Automation group at the same university, working under supervision of Prof. Kunz and Prof. Stoffel. His research interests include formal security verification and transient execution attacks.
Embedded and Cross-Layer Security