Ginseng: Keeping secrets in registers when you distrust the operating system
It seems like this kinda' just pushes the issue around.  For example, how do we know that the Ginseng compiler is trustworthy?  Of course, there could be a trusted authority for it but I don't see how this is different from a trusted authority for an OS.