1. Hex-rays software: About IDA. https://www.hex-rays.com/products/ida/index.shtml. Hex-rays software: About IDA. https://www.hex-rays.com/products/ida/index.shtml.
2. SSL Library ARM mbed TLS/PolarSSL. https://tls.mbed.org. SSL Library ARM mbed TLS/PolarSSL. https://tls.mbed.org.
3. ARM security technology -- Building a secure system using TrustZone technology 2009. ARM Technical Whitepaper. http://infocenter.arm.com/help/topic/com.arm.doc.prd29-genc-009492c/PRD%29-GENC-009492C_trustzone_security_whitepaper.pdf. ARM security technology -- Building a secure system using TrustZone technology 2009. ARM Technical Whitepaper. http://infocenter.arm.com/help/topic/com.arm.doc.prd29-genc-009492c/PRD%29-GENC-009492C_trustzone_security_whitepaper.pdf.
4. VMware news release -- Verizon Wireless and VMware securely mix the professional and personal mobile experience with dual persona Android devices October 2011. http://www.vmware.com/company/news/releases/vmw-vmworld-emea-verizon-10-19-11.html. VMware news release -- Verizon Wireless and VMware securely mix the professional and personal mobile experience with dual persona Android devices October 2011. http://www.vmware.com/company/news/releases/vmw-vmworld-emea-verizon-10-19-11.html.