= 27d567bc2d48d9f40e9ccc20ea370b15)
PhilGoetz comments on How to escape from your sandbox and from your hardware host - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (28)
I have yet to see any claims of a "secure" system that doesn't state the assumptions and validations of the hardware involved. It may be only my world, but a whole lot of attention is paid to the various boundaries between containers (sandbox, VM, virtualized host, physical host, cluster, airgap), not just to the inner level.
Mostly, "provably secure" means all layers, unless there's a fair bit of fine print with it.
I don't think that's possible. Then "provably secure" would have to include a proof that our model of physics is correct and complete.
More generally, a "proof" is something done within a strictly-defined logic system. By definition it makes assumptions, and proves something given those assumptions.
And also a proof that Bob from accounting can't be convinced to let the AI use his phone for a minute. That's a very tall order.
Yup. Layer 8 issues are a lot harder to prevent than even Layer 1 issues :)