HARDLOG: Practical Tamper-Proof System Auditing Using a Novel Audit Device