1. Advanced Micro Devices (2007) AMD64 architecture programmer’s manual. System programming, vol 2. AMD Publication no. 24593 rev. 3.14
2. Barham P, Dragovic B, Fraser K, Hand S, Harris T, Ho A, Neugebauer R, Pratt I, Warfield A (2003) Xen and the art of virtualization. In: Proceedings of symposium on operating systems principles
3. Becher M, Dornseif M, Klein CN (2005) FireWire all your memory are belong to us. In: Proceedings of CanSecWest
4. Bil (2009) Service billing is hard.
http://perspectives.mvdirona.com/2009/02/16/ServiceBillingIsHard.aspx
5. Checkoway S, Shacham HIa (2013) Why the system call API is a bad untrusted RPC interface. In: Proceedings of international conference on architectural support for programming languages and operating systems