ArChiVED: Architectural checking via event digests for high performance validation.

Chang-Hong Hsu, Debapriya Chatterjee, Ronny Morad, Raviv Gal, Valeria Bertacco

Browse the full DATE paper archive.