Open AccessA Formal Verification Model for Security Vulnerability in Non-Fungible Tokens (NFTS) Platform.
Author(s) -
B.O. Ahubele,
Biriyai Diripigi Okolai
Publication year - 2022
Publication title -
advances in multidisciplinary and scientific research journal publication
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) , eavesdropping , programming language , java
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom