1. Rafael Accorsi. 2008. Automated Counterexample-driven Audits of Authentic System Records. Ph.D. Dissertation. Universität Freiburg.
2. Rafael Accorsi. 2009. Safe-keeping digital evidence with secure logging protocols: State of the art and challenges. In Proceedings of the 5th International Conference on IT Security Incident Management and IT Forensics (IMF’09). IEEE, 94–110.
3. BBox: A Distributed Secure Log Architecture
4. Edita Bajramovic. 2019. Secure Logging in Operational Instrumentation and Control Systems. Ph.D. Dissertation. Friedrich-Alexander-Universität Erlangen-Nürnberg.