cotalks.dev

Rust Verification Workshop 2021

Videos

Page 1 / 1

1 — hacspec: succinct, executable, verifiable specifications for high-assurance cryptography
Rust Verification Workshop 2021
2 — Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
Rust Verification Workshop 2021
3 — Creusot: A prototype tool for verification of Rust software
Rust Verification Workshop 2021
4 — Prusti – Deductive Verification for Rust
Rust Verification Workshop 2021
5 — Rust interest in safety- and mission-critical environments
Rust Verification Workshop 2021
6 — Towards Automatic Verification of Unsafe Rust with Constrained Horn Solvers
Rust Verification Workshop 2021
7 — Rustv: Semi-automatic Verification of Unsafe Rust Programs
Rust Verification Workshop 2021
8 — Polonius
Rust Verification Workshop 2021
9 — RustBelt: A Quick Dive Into the Abyss
Rust Verification Workshop 2021
10 — crux-mir: Symbolic testing for Rust
Rust Verification Workshop 2021
11 — Verifying that Rust programs don't crash
Rust Verification Workshop 2021
12 — Ferrite: A Rust EDSL for Message-passing Protocol Verification
Rust Verification Workshop 2021
13 — Peeking at compiler-internal data (for fun and profit)
Rust Verification Workshop 2021