Homepage
Open in app
Sign in
Get started
About us
Our website
Tagged in
Cybersecurity
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Followers
130
Elsewhere
More, on Medium
Cybersecurity
Mooly Sagiv
in
Certora
Dec 21, 2022
Five Myths about Formally Verifying Smart Contracts
For a long time it puzzled me how something so expensive, so leading
…
Read more…
24
Dor Geyer
in
Certora
Nov 21, 2021
Securing Protocols During Development- From a High Level Invariant to a Pool-Draining Vulnerability in SushiSwap’s…
Read more…
99
2 responses
Eldad Peretz
in
Certora
Oct 19, 2021
Popsicle Finance Bug — Revisited. Could the hack be prevented?
Read more…
3