TY  - RPRT
TI  - A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators
AU  - Anna Lena Duque Antón
AU  - Johannes Müller
AU  - Lucas Deutschmann
AU  - Mohammad Rahmani Fadiheh
AU  - Dominik Stoffel
AU  - Wolfgang Kunz
PY  - 2023
UR  - https://arxiv.org/abs/2312.06515
ID  - 2312.06515
ER  -