HardLog: Practical Tamper-Proof System Auditing Using a Novel Audit Device - Ahmad, Adil; Lee, Sangho; Peinado, Marcus (Proceedings of the 43rd IEEE Symposium on Security and Privacy (Oakland 2022), 2022)