Rust-Proofing Your Chains: A Deep Dive into Secure Rust Development Workflows
Duration: 00:04:45
Speaker:
Type: Talk
Expertise:
Event: Devcon
Date: Jul 2026
Aellison Cassimiro, Formal Verification Engineer, Runtime Verification
Rust's growing blockchain role demands secure dev workflows. We’ll cover critical security for contracts and infra: design, methodologies, and tooling. Learn practical tools to harden Rust code with our practical Solana and Stellar-Soroban experience
https://defisecuritysummit.org/schedule