ArChiVED: Architectural checking via event digests for high performance validationChang-Hong HsuDebapriya Chatterjeeet al.2014DATE 2014