Homepage
Open in app
Sign in
Get started
Top Stories published by Certora in October of 2021
All
2021
October
Sort by most read
Eldad Peretz
in
Certora
Oct 19, 2021
Popsicle Finance Bug — Revisited. Could the hack be prevented?
Read more…
3
June 2021
November 2021
About
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Tags
Defi
Formal Verification
Solidity
Smart Contracts
Cybersecurity
Editors
Uri Kirstein
Michael George
Nurit Dor
Mooly Sagiv
David Steinrueck
Davidmwihuri
Amit Levy
Jorge Navas
Writers
John Toman
Chandrakana Nandi
Netanel
Ghila Castelnuovo