6 ms·
Any reason they aren't using formal verification for this kind of thing? It would seem like a very worthy investment.
by homodeus 4y ago
Any reason they aren't using formal verification for this kind of thing? It would seem like a very worthy investment.
- ummonk 4y agoWe basically have zero ability to do formal verification against information leakage through cache timing attacks and the like.