Share:
  • Title:Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice
  • Duration: 58:21
  • Plays: 277 views
  • Published: 10 months ago
Download MP3
Download MP4


Simillar Videos

Contracts, Revisited▶️ 58:58
Contracts, Revisited 277 views • 2 months ago
Towards Sound `unsafe` Rust▶️ 1:04:20
Towards Sound `unsafe` Rust 277 views • 2 weeks ago
March Session -- Kani▶️ 53:18
March Session -- Kani 277 views • 2 years ago
Gillian Rust: A hybrid approach to unsafe Rust verification▶️ 55:21
Gillian Rust: A Hybrid Approach To Unsafe Rust Verification 277 views • 7 months ago
Flux: Ergonomic Verification of Rust Programs with Liquid Types▶️ 55:38
Flux: Ergonomic Verification Of Rust Programs With Liquid Types 277 views • 1 year ago