2 citations · 2 across the 5 of their papers we have counts for
5 papers
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…
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…
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…
Saltzer & Schroeder for 2030: Security engineering principles in a world of AI
Nikhil Patnaik, Joseph Hallett, Awais Rashid
Writing secure code is challenging and so it is expected that, following the release of code-generative AI tools, such as ChatGPT and GitHub Copilot, developers will use these tool…
Super Mario in the Pernicious Kingdoms: Classifying glitches in old games
Llewellyn Forward, Io Limmer, Joseph Hallett +1
In a case study spanning four classic Super Mario games and the analysis of 237 known glitches within them, we classify a variety of weaknesses that are exploited by speedrunners t…