1. M. Abadi, M. Budiu, U. Erlingsson, and J. Ligatti. Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Sys. Sec., 13(1), 2009.
2. C-FLAT
3. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems
4. T. Abera, R. Bahmani, F. Brasser, A. Ibrahim, A-R. Sadeghi, and M. Schunter. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. In Networked and Distributed Systems Security Symposium, 2019.