Sign in
Anna Lena Duque Antón
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Formal Methods
Design Criteria
Rbac Model
Access Control Mechanism
Top Venues
CoRR
USENIX Security Symposium
DAC
IEEE Access
</>
Publications
</>
Anna Lena Duque Antón
,
Johannes Müller
,
Lucas Deutschmann
,
Mohammad Rahmani Fadiheh
,
Dominik Stoffel
,
Wolfgang Kunz
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators.
CoRR
(2023)
Anna Lena Duque Antón
,
Johannes Müller
,
Mohammad Rahmani Fadiheh
,
Dominik Stoffel
,
Wolfgang Kunz
Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation.
IEEE Access
11 (2023)
Johannes Müller
,
Anna Lena Duque Antón
,
Lucas Deutschmann
,
Dino Mehmedagic
,
Mohammad Rahmani Fadiheh
,
Dominik Stoffel
,
Wolfgang Kunz
A New Security Threat in MCUs - SoC-wide timing side channels and how to find them.
CoRR
(2023)
Dino Mehmedagic
,
Mohammad Rahmani Fadiheh
,
Johannes Müller
,
Anna Lena Duque Antón
,
Dominik Stoffel
,
Wolfgang Kunz
Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees.
USENIX Security Symposium
(2023)
Johannes Müller
,
Mohammad Rahmani Fadiheh
,
Anna Lena Duque Antón
,
Thomas Eisenbarth
,
Dominik Stoffel
,
Wolfgang Kunz
A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level.
DAC
(2021)