Memory Safety Courses and Certifications

USENIX Enigma Conference

The State of Memory Safety - Fireside Chat

Experts discuss memory safety vulnerabilities, their impact on modern computing, and strategies for protection. Explores current landscape, challenges, and progress in addressing this critical security issue.

• YouTube
• 45 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Completeness Thresholds for Memory Safety of Array Traversing Programs

Explore completeness thresholds for bounded memory safety proofs in array-traversing programs. Learn about reducing unbounded proofs to bounded ones and potential research avenues.

• YouTube
• 19 minutes
• On-Demand
• Free Video

Eclipse Foundation

Bringing Memory Safety to Time Critical Embedded Systems for Automotive and Industrial Systems

Explore memory safety solutions for time-critical embedded systems, covering deterministic garbage collection, Rust, Realtime Java, and OSGi implementations in automotive and industrial applications.

• YouTube
• 29 minutes
• On-Demand
• Free Video

ACM SIGPLAN

A CHERI C Memory Model for Verified Temporal Safety

Explore a formal approach to temporal memory safety in CHERI C, examining capability revocation mechanisms, introducing pointer provenance tracking, and defining security guarantees with Coq-verified memory state invariants.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Packt

Memory Safety and Structuring Programs

Master Rust's ownership model, references, borrowing, and memory safety through hands-on examples. Build reliable programs using structs, enums, generics, and error handling techniques.

• Coursera
• 16 hours 46 minutes
• On-Demand
• Paid Course

Puzzlefs - The Next-Generation Container Filesystem

Explore Puzzlefs, a next-gen container filesystem addressing OCI format limitations. Learn about reduced duplication, reproducible builds, direct mounting, and memory safety in this innovative solution.

• YouTube
• 39 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Secure Calling Conventions for CHERI Capability Machines in Practice - Work in Progress

Explore secure calling conventions for CHERI capability machines, focusing on temporal memory safety and stack frame encapsulation. Evaluate performance impact and compatibility.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Arm Software Developers

Memory Tagging Extension: Delivering More Robust and Secure Games

Explore Memory Tagging Extension to enhance game robustness and security. Learn how this technology improves memory safety and protects against vulnerabilities in game development.

• YouTube
• 13 minutes
• On-Demand
• Free Video

Eliminating Vulnerabilities with Memory Safe Languages

Explore how memory-safe languages can enhance software security by eliminating common vulnerabilities, improving reliability, and reducing potential attack vectors in cloud-native applications.

• YouTube
• 26 minutes
• On-Demand
• Free Video

RSA Conference

Smashing the Stack: Making Memory-Unsafe Code Less Exploitable - RSA Conference 2023

Explore memory-unsafe code vulnerabilities, their historical impact, and practical mitigations. Learn why this critical issue persists and how developers can enhance software security.

• YouTube
• 50 minutes
• On-Demand
• Free Video

USENIX

Not Quite Write: On the Effectiveness of Store-Only Bounds Checking

Explore the security limitations of store-only bounds checking in C/C++ code, examining bypass vulnerabilities and potential defenses for compiler-based memory safety enforcement.

• YouTube
• 21 minutes
• On-Demand
• Free Video

USENIX

Exploiting Android's Hardened Memory Allocator - Security Analysis and Exploitation Techniques

Discover techniques for exploiting Scudo, Android's memory allocator, through an analysis of security measures and demonstration of new exploitation methods for gaining arbitrary memory write access.

• YouTube
• 16 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Automatic Inference of Relational Object Invariants

Discover a new Abstract Interpretation-based approach for inferring relational object invariants, featuring a novel object abstraction and composite abstract domain that enhances scalability for memory safety verification.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Meeting Cpp

Towards Safety and Security in C++26

Explore upcoming C++26 safety and security features, examining proposals to reduce memory vulnerabilities and their potential impact on development practices.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video

Linux Plumbers Conference

Improving Resource Ownership and Lifetime in Linux Device Drivers

Explores strategies to enhance object ownership, prevent use-after-free bugs, and improve hot unplug event handling in Linux device drivers, addressing issues across multiple subsystems.

• YouTube
• 53 minutes
• On-Demand
• Free Video