Project Sulong: LLVM Bitcode Interpreter on Graal VM - Executing Low-Level Languages
Explore Sulong, an LLVM bitcode interpreter on Graal VM, enabling efficient execution of low-level languages like C and Fortran on the JVM. Learn about its architecture, native interfaces, and memory-safe C/C++ execution.
Why Safe Programming Matters and Why Rust is the Way Forward
Explore Rust's potential as a secure, high-performance language for general-purpose programming, addressing memory safety issues and offering unique features for developers.
Flexible Array Transformations and Array-bounds Checking in Linux Kernel
Strategies for transforming trailing arrays into flexible-array members in Linux kernel, addressing challenges, and improving array-bounds checking for enhanced security and code quality.
The Rustvolution: How Rust Is the Future of Cloud Native
Explore how Rust addresses critical challenges in modern distributed systems, offering memory safety, fearless concurrency, and zero-cost abstractions for the future of cloud native development.
Open Source Security and Supply Chain Innovations - Keynote Sessions
Explore cutting-edge topics in open source security, including supply chain protection, Sigstore, SPDX, eBPF, SLSA, and memory safety, presented by industry leaders and experts.
Why You Should Learn Rust in 2024
Discover why Rust is gaining popularity among developers. Learn about its unique features, benefits, and potential as your next programming language in this informative webinar with Francesco from Daily.dev.
Craig's Amazing Rust Spectacular - NDC Sydney 2024
Explore Rust from a front-end engineer's perspective, comparing it to TypeScript and examining its potential impact on future web development.
Multi Queue Linux Block Device Drivers in Rust - Building Safe Kernel Drivers
Explore the implementation of Linux block device drivers using Rust, focusing on memory safety, performance optimization, and practical applications in NVMe and null_blk drivers.
Aliasing Limits on Translating C to Safe Rust
Explore limitations and improvements in translating C to safe Rust, focusing on pointer conversion challenges and proposing methods to enhance translation effectiveness.
Targeted Static Analysis for OCaml C Stubs - Eliminating Gremlins from the Code
Explore a static analyzer for OCaml C bindings, addressing safety issues and aiding migration to OCaml 5. Learn about tools and techniques to improve code reliability.
Meaningful Bounds Checking in the Linux Kernel - Addressing Buffer Overflows
Exploring buffer overflow vulnerabilities in the Linux kernel and innovative solutions for enhanced security through improved bounds checking and compiler optimizations.
Sanitizing the Linux Kernel - KASAN and Other Dynamic Bug-finding Tools
Explore KASAN and other Sanitizers for detecting memory safety issues in the Linux kernel, including implementation details and practical usage techniques.
Mitigating Use-after-frees in the Linux Kernel
Explore techniques for mitigating use-after-free vulnerabilities in the Linux kernel, covering performance trade-offs, pointer checks, and RCU implementation strategies.
Control Flow Integrity on RISC-V
Explore hardware-assisted control flow integrity mechanisms for RISC-V, focusing on shadow stacks and landing pad instructions to enhance program safety and prevent memory-based attacks.
Kernel Self-Protection Project: Eliminating Bug Classes and Blocking Exploitation Techniques
Overview of Kernel Self-Protection Project's progress, highlighting security defenses implemented in Linux kernels 4.19-5.3, ongoing developments, and areas needing assistance in enhancing kernel security.
Proving Capability Safety in the Presence of Indirect Sentries
Explore capability safety proofs with indirect sentries, advancing understanding of secure programming models and language design.
Concurrent Mutation Must Go
Explore concurrent mutation challenges and solutions in programming languages, focusing on innovative approaches to enhance system reliability and performance.
The State of Morello Software and Projects - POCL'24
Explore the current landscape of Morello software and ongoing projects, gaining insights into the latest developments and advancements in this field.
Morello Cerise - Proving Secure Encapsulation - Work in Progress
Explore Morello Cerise's approach to proving secure encapsulation in this work-in-progress presentation on cutting-edge computer security research.
Function Overrides - From a Security Mitigation to a Full-Fledged Performance Feature
Explore Function Overrides in Windows 11, from its origins as a security mitigation to its evolution as a performance feature. Learn about implementation, compiler modifications, and real-world applications.
The Quest to Memory Safety
Exploración de vulnerabilidades de memoria y estrategias para prevenirlas, enfocándose en limitaciones de lenguajes de programación y mejoras necesarias para desarrollar código más seguro.