4 ms·
Does the formalization have anything that would catch timing side channels, or is that out of scope?
by 0xcde4c3db 8y ago
Does the formalization have anything that would catch timing side channels, or is that out of scope?
- SolalPirelli 8y agoOut of scope, this work is purely about semantic correctness.
- DoctorOetker 8y agoin theory a provable lack of timing side channels might be possible to formalize, but it would be a tremendous amount of work (from which we will benefit enormously once we do)