Rust in Production

Microsoft with Victor Ciura

4 snips
Apr 17, 2025
Ask episode
AI Snips
Chapters
Transcript
Episode notes
ANECDOTE

Contributing to TockOS Kernel

  • Microsoft collaborated with the open source TockOS kernel, porting it to 32-bit for Intel's security chip.
  • TockOS is used in Surface PCs for handling specialized security hardware.
INSIGHT

Rust for Security Hardening

  • Microsoft strategically rewrites vulnerable C++ components in Rust to harden security.
  • Rust enables reasoning about pre- and post-conditions, improving formal safety guarantees.
ADVICE

Standardize Rust Project Setup

  • Standardize Rust project setups with templates and pipelines for consistent compliance and security.
  • Avoid manual setups to prevent configuration divergence across the company.
Get the Snipd Podcast app to discover more snips from this episode
Get the app