3 papers
cs.CR2025
Threadbox: Sandboxing for Modular Security
Maysara Alhindi, Joseph Hallett
There are many sandboxing mechanisms provided by operating systems to limit what resources applications can access, however, sometimes the use of these mechanisms requires develope…
cs.CR2025
Not quite a piece of CHERI-cake: Are new digital security by design architectures usable?
Maysara Alhindi, Joseph Hallett
A digital security-by-design computer architecture, like CHERI, lets you program without fear of buffer overflows or other memory safety errors, but CHERI also rewrites some of the…
cs.OS2025
Playing in the Sandbox: A Study on the Usability of Seccomp
Maysara Alhindi, Joseph Hallett
Sandboxing restricts what applications do, and prevents exploited processes being abused; yet relatively few applications get sandboxed: why? We report a usability trial with 7 exp…