Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 69 for “"Smart contracts"”.
-
Essays on Smart Contracts and Oracles
The thesis is composed of two essays related to smart contract systems on public permission-less blockchains. Firstly, the thesis presents EDSC, a novel smart contract platform design based on the event-driven execution model as opposed to the traditionally employed transaction-driven execution …
-
Cross-chain Trading Network Using Smart Contracts
… decentralized blockchains by taking advantage of smart contracts and ERC-20 protocol. To demonstrate the feasibility of this proposal, I provides a concrete example and design of a cross-chain trading network between three popular systems, which are Bitcoin, Lightning Network Daemon, and Ethereum.
-
Erays: Reverse engineering ethereums opaque smart contracts
Interacting with Ethereum smart contracts can have potentially devastating financial consequences. In light of this, several regulatory bodies have called for a need to audit smart contracts for security and correctness guarantees. Unfortunately, auditing smart contracts that do not have readily …
-
Formal Tools for Specifying Financial Smart Contracts
Financial smart contracts routinely manage billions of US dollars worth of digital assets, and as a consequence bugs in smart contracts can be extremely costly. Because of this, much work has been done in formal verification of smart contracts to prove a contract correct with regards to its …
-
Building trustworthy smart contracts using interactive theorem proving
… are varying approaches to the verification of smart contracts using formal methods. This thesis advocates for the use of high-level specifications coupled with a verified compiler to low-level bytecode, such as for the Ethereum Virtual Machine. Taking this approach allows for specifications to …
-
Improving Smart Contracts Management and Designs for Blockchain Systems
… and certifications. Specifically, blockchain and smart contracts can be applied in several crucial applications, such as smart cities, vaccination certificates, and code verification, by which the blockchain increases individuals’ trust in the application processes, as has been proven in academia. …
-
Smart contracts and their application in supply chain management
… to solve these challenges through the use of smart contracts. Smart contracts are digital agreements between transacting parties that are written in computer code and deployed to the blockchain, where they will self-execute when predetermined conditions are met. They reduce complexity in a …
-
FSCBlock: Designing financial smart contracts on permissioned and public blockchains
… one of the derivatives, options, as a smart contract has been studied, wherein I have successfully generated and analyzed an options smart contract for Ethereum (public). Then, in the second part of the thesis, designing a Chaincode for CCS is researched using Hyperledger Fabric …
-
Leveraging Smart Contracts for Asynchronous Group Key Agreement in Internet of Things
… requirements. The proposed scheme leverages smart contracts to alleviate the computational and storage overheads on the IoT devices induced by cryptographic functions. It also brings the advantage of asynchronism such that offline devices will be able to compute the group key once they are …
-
Smart Contracts: A South African Perspective. A legal analysis of the possibilities and challenges posed to the recognition and enforcement of smart contracts under the South African law of contract
… to actors within the marketplace when executing contracts of a commercial nature
-
FedSmarteum: Secure Federated Matrix Factorization Using Smart Contracts for Multi-Cloud Supply Chain
… on an Ethereum blockchain network. We leverage smart contracts that allow decentralized serverless aggregation to update localized items vectors. Furthermore, we utilize Homomorphic Encryption (HE) to allow sharing the encrypted gradients over the network while maintaining their privacy. Based …
-
Analysis of Blockchain-based Smart Contracts for Peer-to-Peer Solar Electricity Transactive Markets
… auction mechanisms that form the basis of smart contracts. Considered auction mechanisms are discriminatory and uniform k-Double Auction with different k values. This thesis also investigates effects of four consumer and prosumer bidding strategies: random, preference factor, price-only …
-
BLOCKCHAIN-BASED ACCESS AND USAGE CONTROL OF CLOUD-BASED DIGITAL TWINS
… system that integrates Ethereum blockchain, smart contracts, and Chainlink, aiming to efficiently acquire, back up, and utilize digital twin resources. In the Internet of Things (IoT) realm, digital twin resources have been extensively adopted. However, precise data sharing and data privacy …
-
Agile methodologies and blockchain development
… oriented meta-models. The introduction of smart contracts, small computer programs stored inside the Ethereum blockchain, modifies the typical software engineering methodologies. The distributed applications developed on blockchain technologies, can in fact follow rules different from used …
-
Using Public and Private Blockchains for Secure Data Sharing and Analytics
… adjudicating data sharing agreements using smart contracts and blockchain technology. Next, we show how to leverage both public and private blockchain infrastructures to enable efficient, privacy en- hancing and accountable digital auctions. Furthermore, we delve into the field of Federated …
-
Blockchain with smart contract for reverse shopping of retail industry branded plastic packaging
… retail brands) by deploying blockchain with smart contracts, is our research focus. Employing a local blockchain, implemented in a basic format to store records of collected plastic packaging matched by the smart contract when returned, which also incorporates a reward mechanism courtesy of …
-
MedRec : patient centered medical records using a distributed permission management system
… the access to which are determined by a set of 'smart contracts'. These contracts are stored on a distributed ledger maintained by those who generate data. The distributed nature of the system allows unified access from diverse sources in a single application with no intermediary. This increases …
-
The Implications of A Distributed Autonomous Organization On Political Campaign Finance Regulations
… cryptocurrency and blockchain technology such as smart contracts to the political finance world–a new platform for bad actors to leverage emerges. This paper discusses how blockchain technologies such as distributed autonomous organizations (DAO) and smarts contracts can be leveraged to further …
-
Decentralized Finance: Using Visualization to Demonstrate Core Concepts and Research Applications
… daily through specific yield farms whose smart contracts are deployed on the Solana blockchain. The goal of the data collection from these smart contracts was to visualize the relationship of the various metrics through a developed web application in order to provide guidance to investors …
Page 1 of 4