HARDLOG: Practical Tamper-Proof System Auditing Using a Novel Audit Device | IEEE Conference Publication | IEEE Xplore