Rust for Non-Systems Programmers
Discover Rust's advantages beyond systems programming: memory safety, concurrency, mutability tracking, robust tooling, documentation, and error handling for all developers.
Polonius - Rust's Next-Generation Borrow Checker
Explore Polonius, a cutting-edge borrow checker for Rust, enhancing memory safety and performance in systems programming.
Rustv: Semi-automatic Verification of Unsafe Rust Programs
Explore semi-automatic verification of unsafe Rust programs, focusing on adapting seL4's approach, translating to Isabelle/Simpl, and formalizing safety conditions.
Rust for Linux - Project Overview and Status Update
Explore Rust support in the Linux kernel, its current status, and future plans. Learn about writing kernel modules in Rust and potential language features to enhance the project.
Live Migration Architecture for Intel TDX-based Confidential VMs
Explore Intel TDX's live migration architecture for confidential VMs, focusing on security properties, components, interfaces, and lifecycle, with insights on implementation and scalability.
Rust for Linux: Writing Safe Abstractions and Drivers
Explore Rust integration in Linux kernel development, focusing on safe abstractions, driver creation, and infrastructure setup. Learn to write Rust modules without unsafe code.
Bridging Worlds - Using Rust Build Scripts to Leverage Existing Build Infrastructure
Explore how Rust build scripts can integrate with existing infrastructure, enhancing memory safety and atomicity while overcoming Cargo limitations for seamless project development.
AuthMatrix - Simplified Authorization Testing for Web Applications
Simplified authorization testing for web apps using AuthMatrix, a Burp Suite extension. Learn common insecurity patterns, mapping techniques, and effective testing methods for access control vulnerabilities.
Misconfigured CORS and Web Application Security Challenges
Explore CORS misconfiguration vulnerabilities and the challenges of implementing advanced browser security features, with insights on balancing security and operational complexity.
Software Security Engineering: Lessons from the Past to Fix the Future
Explore software security engineering strategies to eliminate known bugs and achieve 99.99% resilience against zero-day threats. Learn from past events to fix future security problems in applications.
Android: Protecting the Kernel - Kernel Security Strategies
Explore Android kernel security, attack vectors, and defense strategies. Learn about SELinux, DAC capabilities, and new protections implemented in AOSP/Android-N to safeguard against rooting exploits.
A Tale of Teaching Rust - Experiences and Insights
Explore Rust's unique features and teaching approaches through an undergraduate programming course, highlighting key concepts, student experiences, and effective learning strategies.
An Introduction to Rust
Comprehensive introduction to Rust programming language, covering key concepts, syntax, and features for developers looking to explore this modern systems language.
Back to the Future - Next-Generation Cloud Native Security
Explore the future of cloud native security, examining emerging technologies, architectural patterns, and potential challenges. Gain insights into next-gen security pipelines and industry advancements.
Rust for Linux - Status Update and Future Developments
Explore the integration of Rust in Linux kernel development, covering infrastructure, abstractions, and future milestones for enhanced memory safety and performance.
AMD Hypervisor Implementation in Rust
Explore the process of creating an AMD hypervisor using Rust, discussing its applications in FaaS, virtual machines, and security, as well as potential misuse in malware and game hacks.
Rust and Tell Berlin - Exploring the Depths of C with Rust
Explore the intersection of Rust and C programming languages, delving into their similarities, differences, and potential synergies in this insightful talk by Yvan Sraka.
Teaching Rust and Code Recommendations for Beginners - RustEdu Workshop 2022
Explore teaching Rust, student outcomes, and an AI-powered tool for suggesting code improvements to beginners learning the language.
Embedding Rust in C/C++ Applications
Explore techniques for integrating Rust modules into C/C++ projects, addressing common challenges and providing practical solutions for seamless language interoperability.
Getting Something for Nothing - Using Rust's Type System for Safe Hardware Abstractions
Explore safe hardware abstractions in Rust using the Type System and Borrow Checker, focusing on high-performance microcontroller systems and the embedded-hal ecosystem.
What's Unique About Rust - RustLatam 2019
Explore Rust's unique features, history, and future with Mozilla researcher Niko Matsakis. Learn about ownership, performance, and how Rust prevents common programming errors.