Abstract: The explosive growth of networked embedded systems has made ubiquitous and pervasive ... of code integrity for an executing program as well as to deliver them to the designated verification ...