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. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2024, Valencia, Spain, March 25-27, 2024. pages 1-6, IEEE, 2024. [doi]
Abstract is missing.