5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CR2026
A Security Analysis of CheriBSD and Morello Linux
Dariy Guzairov, Alex Potanin, Stephen Kell +1
Memory corruption attacks have been prevalent in software for a long time. Some mitigation strategies against these attacks do exist, but they are not as far-reaching or as efficie…
cs.PL2024★ 5 cited
Accurate Coverage Metrics for Compiler-Generated Debugging Information
J. Ryan Stinnett, Stephen Kell
Many debugging tools rely on compiler-produced metadata to present a source-language view of program states, such as variable values and source line numbers. While this tends to wo…