56:09 Verus - Verified Rust for low-level systems code by Andrea Lattuada - Rust Zürisee June 2023 Rust
1:08:16 sett: data encryption and transfer made easy(ier) by Jaroslaw Surkont, Christian Ribeaud - 🦀 Zürisee Rust
56:45 Introduction to Rust programming on bare metal hardware by Mike Kefeder - Rust Zürisee March 2023 Rust
41:59 Encrypted File System for Rust/Android Applications by Stefan Schindler - Rust Zürisee Feb 2023 Rust
