High-level Synthesis Based Methodologies for Hardware Security, Trust and Ip ...