
Pushing for insecure post-quantum algorithms, that may be secure against quantum computers
Eh, I doubt that is how it works. We do not have quantum computers yet, so how we prove security in quantum settings is by specifying the adversary to have specified quantum capabilities, in addition to classical capabilities. Hence, broken under traditional attack means broken under quantum attack.
You can say that new post-quantum schemes are less verified compared to established classical schemes, but that does not mean classical is necessarily more secure.
I wonder if we can really trust the TEEs. Isn’t it their hardware where they are quite free to do what they want? Also it looks very vulnerable to the side-channel attacks.