1. The Thumb instruction set. https://developer.arm.com/documentation/den0013/d/Introduction-to-Assembly-Language/The-ARM-instruction-sets?lang=en
2. A thorough introduction to ebpf. https://lwn.net/Articles/740157/ (2007)
3. ARM: Bulding a secure system using trustzone technology. ARM Technical White Paper (2009)
4. Arnautov, S., et al.: SCONE: Secure linux containers with intel SGX. In: 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) pp. 689–703, USENIX Association, Savannah, GA (2016)
5. Azab, A., et al.: SKEE: A lightweight secure kernel-level execution environment for ARM. In: Proceedings 2016 Network and Distributed System Security Symposium. Internet Society (2016)