Enabling Hardware Security Modules for Confidential Computing - Lecture
Explore secure integration of Hardware Security Modules with Confidential Computing, addressing challenges and showcasing IBM's solution for Linux KVM guests.
Hiding Attestation with Linux Keyring in Confidential Virtual Machines
Explore confidential computing and Linux Keyring to hide attestation details in trusted execution environments. Learn techniques for seamless adoption and secure secret management.
Extending Confidentiality to Data Storage
Explore confidential computing techniques for securing data storage, enhancing privacy protection in cloud environments and distributed systems.
Thriving in the Age of AI
Explore AI's transformative impact on security, business, and daily life. Gain insights on mitigating risks, ethical implications, and future trends in AI-driven threat intelligence from an industry expert.
Marking Packets With Rich Metadata
Explore packet marking techniques with rich metadata to enhance network traffic management and analysis in Linux systems.
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.
WireGuard and Generic Receive Offload (GRO) Integration - Networking Performance Optimization
Explore WireGuard's integration with Generic Receive Offload (GRO) for enhanced network performance and efficiency in Linux systems.
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.
Seccomp Filtering for Struct Pointers
Explore advanced seccomp filtering techniques for struct pointers, enhancing system call security in Linux environments.
Hazard Pointers in Linux Kernel
Explore hazard pointers implementation in the Linux kernel, their benefits, and challenges in concurrent programming and memory management.
Improving eBPF Complexity with a Hardware-backed Isolation Environment
Explore hardware-backed isolation for eBPF, enhancing complexity management and security in Linux kernel development.
Building a IIe-compatible Computer with the Mega-II Chip - KansasFest 2022
Explore the creation of an Apple IIe-compatible computer using the Mega-II ASIC chip from the Apple IIGS. Learn about hardware challenges, differences from the original IIe, and see a demo of the Mega IIe in action.
Snapshot Fuzzing with WTF Fuzzer - Techniques and Implementation
Master snapshot fuzzing with WTF Fuzzer. Configure Hyper-V, use Windbg and Bdump.js for snapshotting, develop harnesses, and fuzz C programs. Enhance your software security skills through hands-on practice.
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.
PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams
Explore PfComp, a verified compiler for stateless firewall policies using binary decision diagrams. Learn about its Coq-assisted proof, OCaml extraction, and performance benefits.
What is a WebAssembly Component and Why - WAW'24
Explore the WebAssembly Component Model proposal, its motivations, technical design, and upcoming releases for cross-language, portable module development.
WALI: A Thin Linux Kernel Interface for WebAssembly
Explore WALI, a thin layer enabling WebAssembly to interact seamlessly with Linux systems, enhancing application portability and security while leveraging existing compiler backends.