Antón, Anna Lena Duque

1. A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators
   2023/12/11 by Anna Lena Duque Antón, Antón, Anna Lena Duque, Johannes Müller +9 · 1 citation
   Computer Science · #Physical Unclonable Functions (PUFs) and Hardware Security #Cryptographic Implementations and Security #VLSI and Analog Circuit Testing