Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for Trust Evaluation on Computer Systems | IEEE Journals & Magazine | IEEE Xplore