2 ms·
A strong enough type system can catch permission problems.
by sitkack 4mo ago
A strong enough type system can catch permission problems.
- pjmlp 4mo agoThe solution there would be a capabilities based OS, however adoption hasn't been great on that regard.
- sitkack 4mo agoI'd love to see CHERI (for the room) and Wasm take off, no time like the present. https://en.wikipedia.org/wiki/Capability_Hardware_Enhanced_RISC_Instructions https://en.wikipedia.org/wiki/Capability_Hardware_Enhanced_R... https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/