Open AccessA Formal Verification Model for Security Vulnerability in Non-Fungible Tokens (NFTS) Platform.
Author(s) -
B.O. Ahubele,
B.D. Okolai
Publication year - 2022
Publication title -
advances in multidisciplinary and scientific research journal
Language(s) - English
Resource type - Journals
ISSN - 2488-8699
DOI - 10.22624/aims/maths/v10n1p7
Subject(s) - solidity , security token , bytecode , computer science , compiler , computer security , vulnerability (computing) , programming language , java