Rusty linux: Advances in rust for linux kernel development
Context: The integration of Rust into kernel development is a transformative endeavor aimed
at enhancing system security and reliability by leveraging Rust's strong memory safety …
at enhancing system security and reliability by leveraging Rust's strong memory safety …
[PDF][PDF] Let Me Unwind That For You: Exceptions to Backward-Edge Protection.
Backward-edge control-flow hijacking via stack buffer overflow is the holy grail of software
exploitation. The ability to directly control critical stack data and the hijacked target makes …
exploitation. The ability to directly control critical stack data and the hijacked target makes …
Takeaways of Implementing a Native Rust UDP Tunneling Network Driver in the Linux Kernel
A Gonzalez, D Mvondo, YD Bromberg - Proceedings of the 12th …, 2023 - dl.acm.org
C is the primary programming language used in the Linux kernel. Recently, the Linux
developer community oversaw the experimental addition of Rust into the kernel's build …
developer community oversaw the experimental addition of Rust into the kernel's build …
Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems
Z Rao - Proceedings of the 39th IEEE/ACM International …, 2024 - dl.acm.org
Interior unsafe is an essential design paradigm advocated by the Rust community in system
software development. However, there is little official guidance or few best practices …
software development. However, there is little official guidance or few best practices …
Out of Hand for Hardware? Within Reach for Software!
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 …
However, hiding the latency of these events is challenging: hardware mechanisms suffer …
Meshwa: The case for a memory-safe software and hardware architecture for serverless computing
A Vahldiek-Oberwagner, M Vij - arXiv preprint arXiv:2211.08056, 2022 - arxiv.org
Motivated by developer productivity, serverless computing, and microservices have become
the de facto development model in the cloud. Microservices decompose monolithic …
the de facto development model in the cloud. Microservices decompose monolithic …
Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
Z Rao, Y Yang, H Xu - arXiv preprint arXiv:2406.07936, 2024 - arxiv.org
Interior unsafe is an essential design paradigm advocated by the Rust community in system
software development. However, there is little official guidance or few best practices …
software development. However, there is little official guidance or few best practices …