Ahmad, A., Lee, S., & Peinado, M. (2022). HardLog: Practical Tamper-Proof System Auditing Using a Novel Audit Device [Conference paper]. Proceedings of the 43rd IEEE Symposium on Security and Privacy (Oakland 2022)