1. Verification of TLB Virtualization Implemented in C
2. Automated Verification of a Small Hypervisor
3. ARM Cortex-A15 MPCore Processor – Technical Reference Manual, Technical document ARM DDI 0438I, ARM Limited, 2011.
4. ARM Security Technology – Building a Secure System using TrustZone Technology, Technical documentation ARM PRD29-GENC-009492C, ARM Limited, 2009.
5. ARMv7-AR Architecture Reference Manual. Technical documentation ARM DDI 0406B, ARM Limited, 2008.