High-Level Synthesis Based Methodologies for Hardware Security, Trust and IP Protection | lit.salon