Out of Hand for Hardware? Within Reach for Software!

Z Luo, S Fu, E Amaro, A Ousterhout… - Proceedings of the 19th …, 2023 - dl.acm.org
Events that take 10s to 100s of ns like cache misses increasingly cause CPU stalls.
However, hiding the latency of these events is challenging: hardware mechanisms suffer …

Curbing the Vulnerable Parser: Graded Modal Guardrails for Secure Input Handling

E Bond, M Heimerdinger - 2023 IEEE Secure Development …, 2023 - ieeexplore.ieee.org
Parsers written in an ad hoc manner are vulnerable to exploitation, but writing a secure
parser in a general purpose language often requires blending custom data validation with …

Towards automatic analysis of microarchitectural attacks

SAH Naseredini - 2023 - sussex.figshare.com
Rowhammer and Spectre are serious security problems of contemporary computers, with
the former targeting Dynamic Random Access Memory (DRAM) and the latter Central …

[PDF][PDF] Designing and Proving Robust Safety of Efficient Capability Machine Programs

AL Georges - 2023 - iris-project.org
Memory safety vulnerabilities have plagued the computer security field for decades. High
level languages such as Rust enforce memory safety through type systems and abstract …