From InkTag: Secure Applications on an Untrusted Operating System: See section 9 for related work. InkTag is also covered in dissertation "Rethinking Operating System Trust" (hxxp://repositories.lib.utexas.edu/bitstream/handle/2152/23318/HOFMANN-DISSERTATION-2013.pdf).
Thanks, will attempt to get my head round this. Surprised they didn't reference Qubes, although that is, in a sense, running services in an untrusted OS to an extent. But seems to be doing similar things really. Did you see how this handled stuff like keyboard, USB and the Gui?
You're welcome . No, but then again I didn't read the paper. Too bad that so much of the software discussed in academic security papers isn't available to the public.
a) Pressure/manipulation never to release from the spooks b) University obsession with IP and patent (even when never exploited)