Category: Smart Contracts

Testing ERC-20 Tokens Part 1:  An Arsenal for Bug Detection
Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
by Runtime Verification & Certora
October 18th, 2023
Warning: Code Can Be Explosive
Warning: Code Can Be Explosive
by Adam Fiedler
October 11th, 2022
Foundry: Gen 2 of Ethereum Tooling
Foundry: Gen 2 of Ethereum Tooling
by Runtime Verification
October 5th, 2022
Security Risks for Staking Providers
Security Risks for Staking Providers
by Runtime Verification
July 2nd, 2021
Cosmos modules documentation
Cosmos modules documentation
by Runtime Verification
May 4th, 2021
Formal Verification of ERC20 Contracts
Formal Verification of ERC20 Contracts
by Brian Marick
August 15th, 2018