Building Trustworthy Systems Using Untrusted Components: A High-Level Synthesis Approach | IEEE Journals & Magazine | IEEE Xplore