Homepage
Open in app
Sign in
Get started
Top Stories published by Certora in August of 2023
All
2023
August
Sort by most read
Jorge Navas
in
Certora
Aug 8, 2023
Formal Verification of Solana Smart Contracts
Author: Jorge A. Navas
Read more…
20
Jorge Navas
in
Certora
Aug 14, 2023
Formal Verification of SPL Token 2022
Author: Jorge A. Navas
Read more…
11
Uri Kirstein
in
Certora
Aug 14, 2023
Decompiling Vyper Programs for Formal Verification
Read more…
32
Jorge Navas
in
Certora
Aug 20, 2023
Formal Verification of the Confidentiality Extension of SPL Token 2022
Read more…
8
July 2023
September 2023
About
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Tags
Smart Contracts
Security
Verification
Formal Methods
Solana Blockchain
Formal Verification
Vyper
Defi
Blockchain
Ethereum
Editors
Uri Kirstein
Michael George
Nurit Dor
Mooly Sagiv
David Steinrueck
Davidmwihuri
Amit Levy
Jorge Navas
Writers
John Toman
Chandrakana Nandi
Netanel
Ghila Castelnuovo