Embedded Systems Secure Path Verification at the Hardware/Software Interface | IEEE Journals & Magazine | IEEE Xplore