Verifying the Rust Standard Library
Outlines verifying the Rust Standard Library and evaluates key implications for security practitioners.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
The Linux Foundation·13 min
Discusses lightning Talk: From ‘teams Want Rust to ‘teams Have a Rust Team - The Journey... Suguru Sasaki (佐々木 克) and evaluates key implications for security practitioners.
rustlightningteam
The Linux Foundation·9 min
Luke Peterson · Remy Clarke
Provides lightning Talk: MORK (in Rust) and evaluates key implications for security practitioners.
rustlightningmork+2
The Linux Foundation·11 min
Maté Kovacs
Investigates lightning Talk: The Humble Rustacean: Human Factors Behind Rusts Success and evaluates key implications for security practitioners.
human-factorsrustlightning+2