Security Problems with Symbolic Links in UNIX File Systems
Delve into the security vulnerabilities of UNIX filesystem's symbolic links, exploring their design flaws, historical impact on system security, and modern Linux-based solutions for safer implementations.
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.
How to Read a PL-Security Paper
Explore techniques for understanding PL-security papers, including threat models, attacker concepts, and contributions to programming languages. Gain insights for PL generalists approaching security topics.
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.
Advanced Int-Bigint Conversions in PostgreSQL - Preventing Integer Overflow
Explore advanced techniques for handling integer overflow in databases, including prevention strategies and solutions for pending int overflow issues.
Wrapping Rust in Ruby for Performance Optimization
Explore integrating Rust libraries into Ruby for enhanced performance and security, using the oxidize-rb project to seamlessly incorporate Rust code into Ruby gems.
Introduction to Rust: Fundamentals, Popularity, and Key Features
Explore Rust's fundamentals, popularity, and key features like ownership and borrowing for high-performance systems programming.
Lockpicking FreeBSD Jails
Explore FreeBSD jail security vulnerabilities and lockpicking techniques. Learn from experienced hackers about potential exploits and mitigation strategies for system administrators.