Adil Ahmad, Sangho Lee, Marcus Peinado: HARDLOG: Practical Tamper-Proof System Auditing Using a Novel Audit Device. SP 2022: 1791-1807