Secure High-Level Synthesis: Challenges and Solutions | IEEE Conference Publication | IEEE Xplore