Anna Lena Duque Antón received her Dipl.-Ing. degree in Electrical and Computer Engineering from TU Kaiserslautern in 2019. She is currently a Ph.D. candidate at Electronic Design Automation group at the same university, working under supervision of Prof. Kunz and Prof. Stoffel. Her research interests include formal security verification, access control mechanisms and fault attacks.
Embedded and Cross-Layer Security