Homepage
Open in app
Sign in
Get started
About us
Our website
Tagged in
Blockchain
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Followers
131
Elsewhere
More, on Medium
Blockchain
Uri Kirstein
in
Certora
Sep 12, 2023
Empowering Success: Reflecting on Our Journey with Aave
Read more…
20
Uri Kirstein
in
Certora
Aug 14, 2023
Decompiling Vyper Programs for Formal Verification
Read more…
32
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 26, 2021
Preventing reentrancy bugs — another use case for formal verification
Read more…
3
1 response