Homepage
Open in app
Sign in
Get started
Top Stories published by Certora in June of 2021
All
2021
June
Sort by most read
Uri Kirstein
in
Certora
Jun 3, 2021
Formal Verification helps finding insolvency bugs — Balancer V2 Bug Report
Read more…
7
Uri Kirstein
in
Certora
Jun 2, 2021
Memory Isolation Violation in Deserialization Code — Certora Bug Disclosure
Read more…
19
Uri Kirstein
in
Certora
Jun 1, 2021
Formal Methods for Secure Smart Contract Upgradability
Read more…
9
Uri Kirstein
in
Certora
Jun 14, 2021
Proof of Optimality of Balancer V2’s Flash Loan Bug
In a previous blog post, we have introduced…
Read more…
12
3 responses
May 2021
October 2021
About
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Tags
Ethereum
Bugs
Proof
Smart Contract Security
Defi
Upgradable Contracts
Formal Verification
Ethereum
Defi
Smart Contract Security
Editors
Uri Kirstein
Michael George
Nurit Dor
Mooly Sagiv
David Steinrueck
Davidmwihuri
Amit Levy
Jorge Navas
Writers
John Toman
Chandrakana Nandi
Netanel
Ghila Castelnuovo