Certificates for Verifiable Forensics. - Radha Jagadeesan; C. M. Lubinski; Corin Pitcher; James Riely; Charles Winebrinner (CSF, 2014)