LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection. - Jean-Luc Danger; Laurent Fribourg; Ulrich Kühne; Maha Naceur (DSD, 2019)