Exploring the Limitations of the Property-based Hardware-Trojan Detection Methods. - Segev Zaken; Keshet Meir; Leonid Azriel; Tomer Rindenau; Avi Mendelson (COINS, 2023)