A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators.

Anna Lena Duque Antn, Johannes Mller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

Browse the full DATE paper archive.