English
Related papers

Related papers: Towards Secure and Trusted-by-Design Smart Contrac…

200 papers

Delegation of cryptographic signing rights has found many application in the literature and the real world. However, despite very advanced functionalities and specific use cases, existing solutions share the natural limitation that the…

Cryptography and Security · Computer Science 2022-10-07 Stephan Krenn , Thomas Lorünser

The real estate market includes complex and inefficient mediation processes. Renting a property envolves multiple entities with different responsibilities and interests. Therefore it is imperative to establish a trustful relationship…

Cryptography and Security · Computer Science 2024-02-09 André S. Proença , Tiago R. Dias , Miguel P. Correia

Suppose that Alice plans to buy a physical good from Bob over a programmable Blockchain. Alice does not trust Bob, so she is not willing to pay before the good is delivered off-chain. Similarly, Bob does not trust Alice, so he is not…

Cryptography and Security · Computer Science 2021-10-21 Amir Kafshdar Goharshady

Blockchain is a continuously developing technology that has made digital transactions and related computing operations more transparent and secure through globally distributed and decentralized management of states, as well as the strong…

Cryptography and Security · Computer Science 2021-03-29 Neo C. K. Yiu

The rise of digital currency and the public ledger Block Chain has led to the development of a new type of electronic contract known as "smart contracts." For these contracts to be considered valid, they must adhere to traditional contract…

The use of the term blockchain is documented for disparate projects, from cryptocurrencies to applications for the Internet of Things (IoT), and many more. The concept of blockchain appears therefore blurred, as it is hard to believe that…

Cryptography and Security · Computer Science 2021-02-09 Lorenzo Ghiro , Francesco Restuccia , Salvatore D'Oro , Stefano Basagni , Tommaso Melodia , Leonardo Maccari , Renato Lo Cigno

Society is in constant transition to keep up with technological advancement, we are seeing traditional paradigms being increasingly challenged. The fundamentals of governance are one such paradigm. As society's values have shifted, so have…

Cryptography and Security · Computer Science 2018-05-16 Freya Sheer Hardwick , Raja Naeem Akram , Konstantinos Markantonakis

Chainspace is a decentralized infrastructure, known as a distributed ledger, that supports user defined smart contracts and executes user-supplied transactions on their objects. The correct execution of smart contract transactions is…

Cryptography and Security · Computer Science 2017-08-15 Mustafa Al-Bassam , Alberto Sonnino , Shehar Bano , Dave Hrycyszyn , George Danezis

When blockchain systems are said to be trustless, what this really means is that all the trust is put into software. Thus, there are strong incentives to ensure blockchain software is correct -- vulnerabilities here cost millions and break…

Software Engineering · Computer Science 2025-10-20 Jan Corazza , Ivan Gavran , Gabriela Moreira , Daniel Neider

In an increasingly complex contractual landscape, the demand for transparency, security, and efficiency has intensified. Blockchain technology, with its decentralized and immutable nature, addresses these challenges by reducing intermediary…

Cryptography and Security · Computer Science 2025-07-23 Lambard Maxence , Bertelle Cyrille , Duvallet Claude

It is undeniable that artificial intelligence (AI) and blockchain concepts are spreading at a phenomenal rate. Both technologies have distinct degree of technological complexity and multi-dimensional business implications. However, a common…

Artificial Intelligence · Computer Science 2018-10-24 Tshilidzi Marwala , Bo Xing

Private blockchain networks are used by enterprises to manage decentralized processes without trusted mediators and without exposing their assets publicly on an open network like Ethereum. Yet external parties that cannot join such networks…

Cryptography and Security · Computer Science 2021-01-26 Dushyant Behl , Palanivel Kodeswaran , Venkatraman Ramakrishna , Sayandeep Sen , Dhinakaran Vinayagamurthy

Blockchain is a core technology to manage the value of cryptocurrencies, or to record trails of important business trades. The Smart Contract on blockchain is expected to improve security on blockchain system with automated operation, but…

Cryptography and Security · Computer Science 2020-01-07 Shingo Fujimoto , Yoshiki Higashikado , Takuma Takeuchi

As blockchains continue to seek to scale to a larger number of nodes, the communication complexity of protocols has become a significant priority as the network can quickly become overburdened. Several schemes have attempted to address…

Information Theory · Computer Science 2023-05-11 Ilan Tennenhouse , Netanel Raviv

The rise of smart contract systems such as Ethereum has resulted in a proliferation of blockchain-based decentralized applications including applications that store and manage a wide range of data. Current smart contracts are designed to be…

Cryptography and Security · Computer Science 2019-02-26 Chao Li , Balaji Palanisamy , Runhua Xu

This paper presents an annotated portfolio of projects that seek to understand and communicate the social and societal implications of blockchains, distributed ledgers and smart contracts. These complex technologies rely on human and…

Human-Computer Interaction · Computer Science 2021-12-23 Dave Murray-Rust , Chris Elsden , Bettina Nissen , Ella Tallyn , Larissa Pschetz , Chris Speed

Smart contracts provide the means to stipulate rules of interaction between mutually distrustful organizations. They encode contractual agreements on the basis of source code, which else need to be contractualized in natural language. While…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-07 Tobias Eichinger , Marcel Ebermann

Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Specifically, a process model comprising tasks performed by multiple parties can be…

Software Engineering · Computer Science 2016-12-12 Luciano García-Bañuelos , Alexander Ponomarev , Marlon Dumas , Ingo Weber

While the blockchain-based smart contract has become a hot topic of research over the last decade, not the least in the context of Industry 4.0, it now has well-known legal and technical shortcomings that currently prohibit its real-world…

Software Engineering · Computer Science 2024-08-13 Emanuel Palm , Ulf Bodin , Olov Schelén

New technologies, such as blockchain, are designed to address various system weaknesses, particularly those related to security. Blockchain can enhance numerous aspects of traditional banking systems by transforming them into digital,…

Cryptography and Security · Computer Science 2026-03-24 Shkelqim Sherifi
‹ Prev 1 3 4 5 6 7 10 Next ›