Im Werbeartikel zum Thema wird von höchster Sicherheit gesprochen. Die beworbenen Sicherheitsfeatures sind sicherlich hilfreich, aber höchstes Niveau setzt u.A. voraus, dass die Semantik der Hard- und Software in ihrer Kombination unter Berücksichtigung äußerer Störfaktoren offen nachvollziehbar mathematisch bewiesen wäre. Davon sind wir sehr weit entfernt, besonders bei komplexen CPUs.

Unerwähnt bleibt der Angriff auf die CPU-Architektur a la Meltdown. Wird so etwas verhindert und wenn ja wie?