1. Common Criteria. Evaluation Assurance Levels (EALs). https://en.wikipedia.org/wiki/Evaluation_Assurance_Level
2. Finances Online. 119 Impressive Cybersecurity Statistics: $$2021/2022$$ Data & Market Analysis, Cybermarket Statistics. https://financesonline.com/cybersecurity-statistics/
3. Smith, Z.M., Lostri, E., Lewis, J.A.: The Hidden Costs of Cybercrime. McAfee Report for Center for Strategic and International Studies (2020). https://www.mcafee.com/enterprise/en-us/assets/reports/rp-hidden-costs-of-cybercrime.pdf
4. Klein, G., et al.: Comprehensive formal verification of an OS microkernel. ACM Trans. Comput. Syst. 32(1), 1–70 (2014)
5. Hawblitzel, C., et al.: Ironclad apps: end-to-end security via automated full-system verification. In: Proceedings of USENIX OSDI, pp. 165–181 (2014)