Kernel Security Is Cool Again
Explore recent developments in Linux kernel security, including hardening efforts, new access controls, and infrastructure changes. Learn about integrity, TPMs, and future trends in this field.
Control Flow Integrity in the Linux Kernel
Explore Control Flow Integrity in Linux kernel, its implementation using Clang/LLVM, and how it protects against memory corruption attacks by validating function pointers.
Kernel Hardening for 32-bit Arm Processors
Explore kernel hardening techniques for 32-bit ARM processors, focusing on preventing security vulnerabilities and implementing critical mitigations to enhance Linux system protection.
Meaningful Bounds Checking in the Linux Kernel
Exploring Linux kernel buffer overflow vulnerabilities and innovative solutions for detection and mitigation, focusing on compiler-based approaches and API improvements.
Using Seccomp to Limit the Kernel Attack Surface
Explore seccomp for Linux kernel security: limit system calls, write BPF programs, and understand its applications in Docker, browsers, and more. Gain practical insights into this powerful security tool.
Randomization Can't Stop BPF JIT Spray
Explores Linux BPF JIT compiler vulnerabilities, demonstrating how randomization fails to prevent JIT spray attacks and proposing mitigations for enhanced kernel security.
Validating the eBPF Verifier via State Embedding
Innovative technique for validating eBPF verifier correctness using state embedding, uncovering critical Linux kernel security bugs and improving overall system reliability.