HAL - The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion. - Marc Fyrbiak; Sebastian Wallat; Pawel Swierczynski; Max Hoffmann 001; Sebastian Hoppach; Matthias Wilhelm 002; Tobias Weidlich; Russell Tessier; Christof Paar (IEEE Trans. Dependable Secur. Comput., 2019)