News for hackers. Stuff that matters.

A comment on New x86 micro-op vulnerability breaks all known Spectre defenses. Parent comment

Re:New x86 micro-op vulnerability breaks all known Spectre d... by rsj_hn on Monday May 03, 2021 @12:37AM (#27021640)
The largest system I'm aware of that meets formal verification -- like CC EAL 7 -- are small smart card (Gemalto) Operating Systems. Has it been done on anything bigger?
[ Parent | on HN ]

There are no comments on this comment yet.