Jorge NavasinCertoraFormal Verification of the Confidentiality Extension of SPL Token 2022Author: Jorge A. NavasAug 21, 2023Aug 21, 2023
Jorge NavasinCertoraFormal Verification of SPL Token 2022Author: Jorge A. NavasAug 15, 2023Aug 15, 2023
Jorge NavasinCertoraFormal Verification of Solana Smart ContractsAuthor: Jorge A. NavasAug 8, 2023Aug 8, 2023