Analyzing Financial Smart Contracts for Blockchain

Distributed Ledger Technologies in Supply Chain Security Management: A Comprehensive Survey

“…Vinayak et al [40] explored security vulnerabilities of smart contracts. Vulnerabilities associated with Oyente include transaction-ordering dependency which could be exploited by selfish miners.…”

“…Vulnerabilities in smart contracts are discussed in detail by Vinayak et al [40]. They identified smart contracts as a userdefined algorithm that runs on the BC.…”

“…A tool, Oyente was used to analyse these vulnerabilities in financial transactions using the following categories: Ordering Dependency, Timestamp Dependency (can be altered by roughly 900 seconds), Mishandled Exceptions, Re-entrance vulnerabilities and Integer overflow / underflow. [40] refers to some essential conditions which needs to be incorporated in BC that are not currently available. However, it does not specifically state what these conditions are.…”

“…The huge amount of research coupled with well documented security concerns and breaches make industries cautious in adopting and implementing BC. A good evaluation is required in deciding which BC technology to use as there are so many variants of the technology [61], [40], [42], [93]. Given that DLTs themselves do not, as a rule, integrate with each other, users may have to access several applications in order to use different services.…”