Trust Issues: Exploiting TrustZone TEEs
googleprojectzero.blogspot.com
googleprojectzero.blogspot.com
On a different note, how does the iPhone's trust zone implementation compare? Does anyone know if it is vulnerable to similar issues?
[0] https://www.blackhat.com/docs/us-16/materials/us-16-Mandt-De...
[0]: https://xerub.github.io/ios/kpp/2017/04/13/tick-tock.html
There's an efuse based revocation mechanism. It isn't used for every vulnerability. That's unfortunate but understandable-- fuses are a scarce resource. Given that, signers should be more careful about the code they sign in the first place to avoid stressing that resource.
Having said that, at the end of the day this is still just a security feature that is painful to use. That doesn't make it a vulnerability in and of itself, and dressing it up as one feels like a stretch.
I agree with your sentiment, but that's not going to happen.
Even an automated exhaustive verifier can be buggy... oot more importantly incomplete if parallelism is considered.
(Don't laugh: Intel's been adding extra security layers for years)
Especially with things like higher-than-OS trust levels where there are limited ABI guarantees to begin with, it might be better to redo things incompatibly if that provides a better solution than "this newly introduced mechanism of unknown quality asserts that this other mechanism of known-bad quality won't mess things up".
Intel TXT is one such "guard" mechanism. It tore larger holes in the security fabric than the mechanisms it was supposed to keep watch over.