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 38 for “"smart contract"”.
-
Disseny i implementació d'un smart contract de micromecenatge sobre Ethereum
… descentralitzada per al desplegament de contractes intel·ligents en la Blockchain. L'enfocament d'aquest treball consisteix a iniciar una xarxa privada Ethereum de prova (Private-Net), en la que desenvoluparem i desplegarem una aplicació descentralitzada, un contracte intel·ligent de …
-
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 …
-
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 …
-
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 …
-
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. …
-
FSCBlock: Designing financial smart contracts on permissioned and public blockchains
… corporate businesses. Currently, the Collateral Contract Services (CCS) are manually processed in financial institutions. The main objective of this research is to choose the most appropriate financial instrument, specifically derivatives, for CCS and allow its automated trading using Blockchain …
-
Several solutions to tackle the most relevant blockchain limitations in the context of user-confined data and for tuning performances and scalabilty [Varie soluzioni per affrontare le principali limitazioni della blockchain nel contesto dei dati custoditi dall’utente e per ottimizzare le prestazioni e la scalabilità]
… ai sistemi bancari tradizionali. L’avvento degli smart contract, programmi eseguibili governati unicamente dal proprio codice e funzionanti sulla tecnologia centrale della blockchain, ha ulteriormente catalizzato lo sviluppo di applicazioni al di fuori del settore finanziario, permettendo processi …
-
A Blockchain-Enabled System for Secure Emergency Healthcare Services Management and Timestamped Data Integrity [Un Sistema Basato su Blockchain per la Gestione Sicura dei Servizi Sanitari di Emergenza e l'Integrità dei Dati con Marcatura Temporale]
… prova di manomissione dei dati e l'esecuzione di smart contract. Questa struttura supporta l'elaborazione rapida della richiesta di emergenza, il rapido invio delle ambulanze e il coordinamento ospedaliero senza interruzioni, mantenendo l'integrità e la verificabilità dei dati. Il framework …
-
Le tecnologia Ethereum applicata alle soluzioni decentralizzate consortili. Casi d'uso: sanità ed energie rinnovabili.
… pubblica che introduce programmi eseguibili (smart contract) nella sua tecnologia di base, ha favorito lo sviluppo di altri simili piattaforme specificamente indirizzate alle implementazioni di applicazioni per organizzazioni private, in grado di mitigare i ben noti problemi tecnologici delle …
-
Towards the Development of Cost-Effective Decentralized Applications: An Investigation of Transaction Processing Times on the Ethereum Blockchain Platform
… frontend of their application into one or more smart contract transactions. These transactions target specific smart contract functions, and execute once the transactions are processed by other nodes in the network. Developers also need to pay for these transactions, and thus for their code to …
-
Blockchain for Computational Integrity and Privacy
… in use. The computations are performed on the smart contract, residing on the blockchain which provides computational integrity. The results indicate that it is possible to perform fully homomorphic computations on the blockchain. However, there is a need for more resources and enhancement in …
-
How to build a self-sovereign identity system that is beneficial to both the individual and business
… how to develop such a system using Ethereum’s smart contract platform and a browser-based application, and we demonstrate its use in a corporate that sells more than one funeral insurance product. Individuals and organizations should be able to create claims on their identities, however, only …
-
Digital Twin through the physical asset tokenization on blockchain
… quindi immutabilità, decentralizzazione e smart contract, il legame tra i gemelli digitali e le loro controparti fisiche risulta più robusta. L'obiettivo principale di questa ricerca è esplorare e valutare i meccanismi basati su blockchain per stabilire legittimità e, soprattutto, …
-
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 …
-
Essays on Incentive Designs to Improve Market Performance
… Coordination Problems, Leverage Constraints and Smart Contract Solutions for the Repo Market, co-authored with Robert M. Townsend. We identify two inefficiencies in the US treasury repo market and propose solutions. In the first part we develop an empirically founded model of the repo market …
-
ACeD: scalable data availability oracle
… of Rust code, integrate the functionality as a smart contract into Ethereum via a high-performance implementation demonstrating up to 10,000 transactions per second in throughput and 6000x reduction in gas cost on the Ethereum testnet Kovan.
-
Blockchain technology in supply chain and logistics
… based on distributed databases and smart contracts as the business logic. The distributed ledger technology eliminates the need for intermediaries disrupting the ownership model. It can have a tremendous impact on cross-organizational process automation when combined with other …
-
An Attempt at Democratizing Resource Allocation for Social Movements Using Decentralized Autonomous Organizations
… funds go. This decision-making is executed via a smart contract-based voting mechanism. In essence, I argue that through DAOs, social movements can both more effectively raise funds and allocate them.
-
From Legal Contracts to Formal Specifications
… challenge of implementing and executing a legal contract in a machine has been gaining significant interest recently with the advent of blockchain, smart contracts, LegalTech and IoT technologies. Popular software engineering methods, including agile ones, are unsuitable for such outcome-critical …
Page 1 of 2