Securing Silicon: A Scalable, Platform-independent Hardware Security Verification Methodology

Muhammad Abdullah Al Faisal, Sebastian Simon, Jaimini Nagar, Ulrich Heinkel, Thorsten Dworzak, Djones Lettnin