Advances in mathematically verified software could help here - although mechanisms for verifying the manufacturing of chips all the way down the supply chain might be farther out.