Smart contract analysis and verification by Qiu, Haoze

“…As smart contracts being used by more and more industries, security and correctness of them are becoming more important than ever. …”
Get full text

Analysis of smart contract development platforms by Huang, Shaohang

“…Smart contracts are computer programs that can be executed by a network of interconnected cynical nodes without the intervention of a dependable third party. …”
Get full text

Smart contract development and blockchain technology application by Hoe, Eugene Liam Yew

“…The decentralized application proposed in this project uses Ethereum as the blockchain protocol due to its large support from the global community and it is the largest ecosystem in blockchain and cryptocurrency. A smart contract is developed on Ethereum blockchain network for the registration of users and the recording of transactions. …”
Get full text

Smart contract development and blockchain technology development by Quak, Justina Lin Ying

“…The project uses Solidity smart contracts to store medical certificate data on the blockchain, ensuring that the certificates are tamper-proof and immutable. …”
Get full text

Smart contract development and blockchain technology application by Ang, Jia Ze

“…By elucidating their strengths and weaknesses of each blockchain technology, it will provide future smart contract developers valuable insights on selecting the most suitable blockchain technology for their use cases.…”
Get full text

Automatic program analysis and verification and their applications in smart contracts by Jiao, Jiao

“…Smart contracts must be verified for multiple reasons. …”
Get full text

Smart contract development and blockchain technology application (3) by Goh, Bryan Hong Xiang

“…This can be achieved by programming the business logic in smart contracts that will be stored within the Blockchain. …”
Get full text

Decentralized marketplace for digital assets empowered by smart contracts by Garg, Astha

Get full text

Ethereum smart contract exploitation detection using machine learning by Ang, Guang Yao

“…Vulnerabilities in Ethereum smart contracts may be exploited by malicious actors for financial gains. …”
Get full text

Survey of Ethereum and Cardano with respect to security vulnerabilities by Lim, Xiao Wei

“…On the blockchain, smart contracts are autonomous programs that enables peers to enforce agreements without the need for a third party. …”
Get full text

VroomVault: a blockchain-powered marketplace for cars and workshop services by Lim, Jing Yi

“…Proposed improvements focus on embracing Layer 2 solutions, enabling smart contract upgradability, and expanding the adoption of this technology in different industries. …”
Get full text

Decentralized finance (DeFi) protocols and development of flashloans by Choo, Bernard Wee Kitt

“…During the early 2013, Vitalik Buterin pioneered the development of Smart contract on the Ethereum Blockchain. Decentralize finance ( DeFi ) are financial applications built on top of smart contracts living on the Blockchain. …”
Get full text

Blockchain-based verification and authentication system for secure online communications by Lam, Jeslyn Xin Yi

“…This project proposes a blockchain-based verification and authentication system that uses smart contracts to manage a dynamic pool of approved and cautioned identities. …”
Get full text