English
Related papers

Related papers: A true concurrent model of smart contracts executi…

200 papers

Blockchains provide environments where parties can interact transparently and securely peer-to-peer without needing a trusted third party. Parties can trust the integrity and correctness of transactions and the verifiable execution of…

Cryptography and Security · Computer Science 2023-03-02 Simon Tschirner , Shashank Shekher Tripathi , Mathias Roeper , Markus M. Becker , Volker Skwarek

This dissertation addresses the challenge of ensuring transactional integrity and reducing costs in corporate governance through blockchain technology. We propose an on-chain methodology for certifying, registering, and querying…

Cryptography and Security · Computer Science 2025-01-27 Antonio Hoffert

Smart contracts are autonomous software executing predefined conditions. Two of the biggest advantages of the smart contracts are secured protocols and transaction costs reduction. On the Ethereum platform, an open-source blockchain-based…

Computational Engineering, Finance, and Science · Computer Science 2019-05-27 Jeremy Charlier , Radu Statem , Jean Hilger

While blockchains initially gained popularity in the realm of cryptocurrencies, their widespread adoption is expanding beyond conventional applications, driven by the imperative need for enhanced data security. Despite providing a secure…

Cryptography and Security · Computer Science 2024-12-10 Faisal Haque Bappy , Tarannum Shaila Zaman , Md Sajidul Islam Sajid , Mir Mehedi Ahsan Pritom , Tariqul Islam

The advent of blockchain technology and its adoption across various sectors have raised critical discussions about the need for regulatory mechanisms to ensure consumer protection, maintain financial stability, and address privacy concerns…

Cryptography and Security · Computer Science 2024-07-16 Oshani Seneviratne

Decentralized Ledger Technology, popularized by the Bitcoin network, aims to keep track of a ledger of valid transactions between agents of a virtual economy without a central institution for coordination. In order to keep track of a…

Systems and Control · Computer Science 2018-07-04 Michael Zargham , Zixuan Zhang , Victor Preciado

Ethereum is a permissionless blockchain ecosystem that supports execution of smart contracts, the key enablers of decentralized finance (DeFi) and non-fungible tokens (NFT). However, the expressiveness of Ethereum smart contracts is a…

Cryptography and Security · Computer Science 2023-01-24 Nikolay Ivanov , Qiben Yan , Anurag Kompalli

Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers,…

Programming Languages · Computer Science 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich

Programmable blockchains have long been a hot research topic given their tremendous use in decentralized applications. Smart contracts, using blockchains as their underlying technology, inherit the desired properties such as verifiability,…

Cryptography and Security · Computer Science 2025-08-19 Zhaorun Lin

Decentralization initiatives like Solid enable data owners to control who has access to their data and to stimulate innovation by creating both application and data markets. Once data owners share their data with others, though, it is no…

Multiagent Systems · Computer Science 2023-10-10 Davide Basile , Claudio Di Ciccio , Valerio Goretti , Sabrina Kirrane

This paper describes a decentralized low-cost system designed to reinforce personal security in big events in case of emergency. The proposal consists of using smart contracts supported by blockchain in the management of events. An…

Cryptography and Security · Computer Science 2022-08-17 Alexandra Rivero-García , Iván Santos-González , Candelaria Hernández-Goya , Pino Caballero-Gil

We construct an empirically founded model of a repo trade intermediated by two broker-dealers and prove multiple equilibrium and the existence of equilibrium at the joint profit maximizing volume of trade. We then present a smart contract…

Theoretical Economics · Economics 2026-04-21 Daniel Aronoff , Robert M. Townsend

The potential for blockchain technology to eliminate the middleman and replace the top down hierarchical model of governance with a system of distributed cooperation has opened up many new opportunities, as well as dilemmas. Surpassing the…

Software Engineering · Computer Science 2023-04-12 Simona Ramos , Morshed Mannan

Smart contracts are programs that execute transactions involving independent parties and cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and vulnerabilities. Such vulnerabilities can result in…

Cryptography and Security · Computer Science 2023-07-03 Sundas Munir , Walid Taha

With the escalating prevalence of malicious activities exploiting vulnerabilities in blockchain systems, there is an urgent requirement for robust attack detection mechanisms. To address this challenge, this paper presents a novel…

Blockchains and smart contracts are an emerging, promising technology, that has received considerable attention. We use the blockchain technology, and in particular Ethereum, to implement a large-scale event-based Internet of Things (IoT)…

Cryptography and Security · Computer Science 2019-07-10 Nikos Fotiou , Iakovos Pittaras , Vasilios A. Siris , Spyros Voulgaris , George C. Polyzos

Decentralized management and coordination of energy systems are emerging trends facilitated by the uptake of the Internet of Things and Blockchain offering new opportunities for more secure, resilient, and efficient energy distribution.…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-26 Tudor Cioara , Claudia Pop , Razvan Zanc , Ionut Anghel , Marcel Antal , Ioan Salomie

Permissionless blockchain consensus protocols have been designed primarily for defining decentralized economies for the commercial trade of assets, both virtual and physical, using cryptocurrencies. In most instances, the assets being…

Computer Science and Game Theory · Computer Science 2021-03-31 Aditya Ahuja , Vinay J. Ribeiro , Ranjan Pal

There is growing interest in providing programmatic access to the value locked in Bitcoin, which famously offers limited programmability itself. Various approaches have been put forth in recent years, with the vast majority of proposed…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-30 Ryan Croote , Islam El-Ashi , Thomas Locher , Yvonne-Anne Pignolet

Blockchain is a novel technology that is rising a lot of interest in the industrial and re- search sectors because its properties of decentralisation, immutability and data integrity. Initially, the underlying consensus mechanism has been…

Cryptography and Security · Computer Science 2018-05-10 Stefano De Angelis