Demonstrating Binary Exploitation
Explore binary exploitation through live demonstrations, including a Sudo vulnerability exploit. Learn to detect and prevent memory corruption vulnerabilities in software.
Rust as a Support Language
Explore Rust as a safe, high-performance alternative to C/C++ for low-level development. Learn techniques for integrating Rust into existing projects and leveraging its benefits.
Wasmer Things - An Upside-Down Guide to WebAssembly
Explore WebAssembly from a compiler's perspective, uncovering its inner workings and discovering why it's becoming a popular choice for sandboxed, memory-safe runtime environments.
Wasmer Things - An Upside-Down Guide to WebAssembly
Explore WebAssembly from a lower-level perspective, uncovering its inner workings and discovering why it's becoming a popular choice for sandboxed, memory-safe runtime environments.
Inside TensorFlow - MLIR for TF Developers
Explore MLIR, a multi-level intermediate representation compiler infrastructure, and its applications in TensorFlow development for improved reusability and abstraction.
The Rise and Fall of Binary Exploitation - A Technical Analysis of Memory Safety and Exploit Mitigations
Explore the evolution of binary exploitation, memory safety challenges, and modern protection mechanisms in operating systems, focusing on Windows security mitigations and their effectiveness.
Giving Rust a Chance for In-Kernel Codecs
Explore Rust's potential for developing in-kernel codecs in Linux, examining its benefits and challenges for kernel development.
Introduction to Rust - Quality of Life Beyond Memory Safety
Explore Rust's features beyond memory safety, focusing on quality-of-life improvements and advanced programming concepts for enhanced development experiences.
Making Linux Fly: Towards a Certified Linux Kernel
Explore efforts to create a certified Linux kernel, enhancing reliability and security through formal verification techniques and advanced testing methodologies.
Enhancing Spatial Safety: Fixing Thousands of -Wflex-array-member-not-at-end Warnings
Aprenda a corrigir avisos de -Wflex-array-member-not-at-end para melhorar a segurança espacial em sistemas Linux.
Journey of a C Kernel Engineer Starting a Rust Driver Project
Explore a C kernel engineer's transition to Rust for driver development, gaining insights into challenges and advantages of this language shift.
Rust for Linux
Explore Rust's integration into the Linux kernel, understanding its benefits, challenges, and potential impact on system development and security.
Hazard Pointers in Linux Kernel
Explore hazard pointers implementation in the Linux kernel, their benefits, and challenges in concurrent programming and memory management.
Under-approximation for Scalable Bug Detection
Explore under-approximation techniques for efficient bug detection in large codebases. Learn about Incorrectness Logic, ISL, and Pulse-X for scalable, compositional program analysis and memory safety error detection.
The State of Morello and CHERI
Explore the current status and advancements of Morello and CHERI technologies in computer architecture and security.
Flux: Refinement Types for Rust
Explore refinement types for Rust with Flux, enhancing code safety and expressiveness in systems programming.
Rust in the Linux Kernel - A Status Check
Explore Rust's integration into the Linux Kernel, examining current capabilities, limitations, and interactions with existing C code. Gain insights into the progress of Rust adoption.
A Whirlwind Tour of Rust - Systems Programming for the Modern Developer
Explore Rust's innovative approach to systems programming, offering C/C++-level performance with enhanced safety features. Learn language fundamentals and modern development tools.
SuSLik: Deductive Synthesis of Safe Programs with Pointers - Tutorial 1b
Explore deductive program synthesis for creating provably correct pointer-manipulating programs using SuSLik. Practice specifying programs with formal logic and learn about separation logic.
Giving Rust a Chance for In-Kernel Codecs - Kernel Recipes 2024
Explore Rust integration in kernel development for V4L2 codec drivers, focusing on minimal abstractions and ABI compatibility strategies.
Interfacing Kernel C APIs from Rust - Kernel Recipes 2024
Explore Rust integration in Linux kernel development, focusing on block device driver APIs, safety guarantees, and performance implications for device drivers.