2015-04-18 Protecting the Android TCB with SELinux http://kernsec.org/files/lss2014/lss2014_androidtcb_smalley.pdf