MIT researchers uncover ‘unpatchable’ flaw in Apple M1 chips

Re:MIT researchers uncover ‘unpatchable’ flaw in Apple M1 chips by homodeus on Friday June 10, 2022 @01:44PM (#31697222)

Any reason they aren't using formal verification for this kind of thing? It would seem like a very worthy investment.

[ Parent | on HN ]

Re:MIT researchers uncover ‘unpatchable’ flaw in Apple M1 chips by ummonk on Friday June 10, 2022 @09:14PM (#31701075)

We basically have zero ability to do formal verification against information leakage through cache timing attacks and the like.

[ Parent | on HN ]