3 ms·
How does Theseus prevents speculation attacks? This page [1] mentions them, but has nothing on how the software prevents them. [1] https://www.theseus-os.com/T
by gpderetta 3y ago
How does Theseus prevents speculation attacks? This page [1] mentions them, but has nothing on how the software prevents them.
[1] https://www.theseus-os.com/Theseus/book/design/idea.html https://www.theseus-os.com/Theseus/book/design/idea.html
- Aerbil313 3y agoMy understanding is that conventional OSes rely on hardware to provide kernel and userspace data isolation, while Theseus relies on Rust compiler, as in safe Rust you can't access arbitrary memory locations. Maybe watch the project founder's talk? https://youtu.be/n7r8zO7SodE?si=nswWcFrkTj7K1GpZ https://youtu.be/n7r8zO7SodE?si=nswWcFrkTj7K1GpZ
- gpderetta 3y agoBy "this class of problems" I assumed you were talking about speculation attacks. How does the rust compiler help? Sorry, I'm not going to watch a talk.
- Aerbil313 3y agoI'm sorry, I did not mean that, misunderstanding twice on my part. I meant that you can have a SAS SPL OS and have it safe too. Theseus Book simply states that relying on hardware for data isolation have proven a deficient approach, given the existence of such attacks.