> It can't improve the security of firmware directly, but it can certainly improve the isolation of it by auditing and improving IOMMU configuration
But I know of no Linux smartphone that would really satisfy either of those conditions properly.
I'm actually curious here as to what we can & can't prove as to being 'secure'.
So that means all bets are off: it's entirely possible to implement a perfect peer reviewed protocol in a client and/or server full of backdoors that entirely bypasses the protocol deliberately?
No, that's not how cryptography works. Signal clients don't trust the servers, and it's entirely possible to review the client protocol and make sure that malicious server can't learn anything about the communication (except the dreaded metadata - who talks to whom). That's the point of E2E encryption.
The protocol does not trust the server. Android has reproducible builds, iOS doesn't.
Before you worry about super expensive hard to remove hardware bugs, you should worry far more about the software running on that hardware. It is much more likely that theres bugs in the software than the hardware.
Maybe I'm just being paranoid. I pay for Mullvad anyway, if my worst suspicions are true then it will still be good enough to hide my petty torrenting from MPAA lawyers (which is beneath the concern of the CIA/etc anyway.) There's no way I'd trust it if I were in Snowden's shoes though. For anything that might plausibly interest the CIA/NSA/FBI, I would not trust these tools (or others) to keep me private.