3 ms·
But does formal verification even help when you're up against side channel attacks on the hardware? Like the branch predictor or DRAM memory access timing.
by chillacy 8y ago
But does formal verification even help when you're up against side channel attacks on the hardware? Like the branch predictor or DRAM memory access timing.
- monocasa 8y agoWith a model of the full system, quite possibly. That's one of the things that makes me so excited for RISC-V.
- sempron64 8y agoI don't know of any technique to model or avoid timing attacks that wouldn't drastically slow down execution to the point of being impractical.
- deleted 8y ago[deleted]