Close

Presenter

Biography
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.
Presentations
Research Manuscript
Security
Embedded and Cross-Layer Security
Presented In-Person