Homepage
Open in app
Sign in
Get started
About us
Our website
Tagged in
Smart Contract Security
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Followers
130
Elsewhere
More, on Medium
Smart Contract Security
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
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
May 31, 2021
Non-deterministic Solidity Transactions — Certora Bug Disclosure
Read more…
2
Uri Kirstein
in
Certora
May 30, 2021
The Solidity Compiler Silently Corrupts Storage — Certora Bug Disclosure
Read more…
Uri Kirstein
in
Certora
May 27, 2021
Certora Bug Disclosure: Lost Signer Fees in the TBTC system
Read more…
2
Uri Kirstein
in
Certora
May 27, 2021
Bug Disclosure — Solidity Code Generation Bug Can Cause Memory Corruption
Read more…
2
Uri Kirstein
in
Certora
May 26, 2021
Preventing reentrancy bugs — another use case for formal verification
Read more…
3
1 response
Uri Kirstein
in
Certora
May 25, 2021
Why testing is not enough for million-dollar code
Read more…
5