Dipl.-Ing. Anna Lena Duque Antón
Tel: +49 631 205 4786
I am currently researching in the field of hardware security. My main goal is to use formal verification methods to provide guarantees on the robustness of a design against fault attacks. Other research interests include the analysis and detection of Integrity violations in SoCs.
J. Müller, M.R. Fadiheh, A.L. Duque Antón, T. Eisenbarth, D. Stoffel, W. Kunz: A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level. In IEEE/ACM Design Automation Conference (DAC), Dec. 5-9, 2021, San Francisco, USA. (accepted)
M.R. Fadiheh, J. Müller, A.L. Duque Antón, S. Mitra, J. Fung, D. Stoffel, W. Kunz: A Systematic Approach to Detecting Microarchitectural Security Vulnerabilities by RTL Hardware Verification, Intel Side-Channel Academic Program (SCAP) Workshop 2020, (recording: https://wolke12.eit.uni-kl.de/index.php/s/2XAfUaaT8VLnOZy)
M.R. Fadiheh, J. Müller, A.L. Duque Antón, S. Mitra, D. Stoffel, W. Kunz: A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-order Processors, Intel Side-Channel Academic Program Workshop (SCAP) 2020, (recording: https://wolke12.eit.uni-kl.de/index.php/s/b7fWl5WA4iKTGY3)