( en | de | ru )

 

Disambiguation of "Antón, Anna Lena Duque"

Author of the publication

copydeleteadd this publication to your clipboard
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators.

, , , , , and . DATE, page 1-6. IEEE, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manuel Duque-Antón

Manuel Duque Antón

Anna Lena Drewes

Immunhistochemische Lokalisation Apoptose-assoziierter Proteine in gesunder Haut und bei Patienten mit chronischer venöser Insuffizienz. Uni Greifswald, (2009)

Anna Anton

Doris Duque

 

Other publications of authors with the same name

A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level., , , , , and . DAC, page 991-996. IEEE, (2021)VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL., , , , , , , , and . CoRR, (2024)A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators., , , , , and . CoRR, (2023)Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees., , , , , and . USENIX Security Symposium, page 2779-2796. USENIX Association, (2023)A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators., , , , , and . DATE, page 1-6. IEEE, (2024)Data-Oblivious and Performant: On Designing Security-Conscious Hardware., , , , , , , and . LATS, page 1-6. IEEE, (2024)Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation., , , , and . IEEE Access, (2023)A New Security Threat in MCUs - SoC-wide timing side channels and how to find them., , , , , , and . CoRR, (2023)