Rikard Hjort
Rikard Hjort is an auditor and developer at Runtime Verification, researching formal methods for developing high-assurance smart contracts for blockchains. He has been putting his efforts into the Ethereum, Cosmos and Rust-based ecosystems.
Sessions
10-12
11:00
60min
Formal Methods for the Working DeFi Dev
Rikard Hjort
Security
Workshop 3