Aellison Cassimiro

Aellison Cassimiro has worked on formal verification, software development and smart contract audits at Runtime Verification. Public technical work includes combining testing, fuzzing and formal methods to check contract invariants.

2 talks by Aellison Cassimiro

• Rust-Proofing Your Chains: A Deep Dive into Secure Rust Development Workflows
• Debug First, or Regret Later: an Arsenal of Tools can Build Solid Ethereum Foundations