English
Related papers

Related papers: A Practical System Architecture for Contract Autom…

200 papers

Blockchain has been touted as a revolutionary technology. However, despite the excitement, blockchain has not been adopted in many fields. Many are hesitant to adopt blockchain technology due to privacy concerns, barriers to use, or lack of…

Computers and Society · Computer Science 2023-01-02 Collin Connors , Dilip Sarkar

Access to the system resources. The current access control systems face many problems, such as the presence of the third-party, inefficiency, and lack of privacy. These problems can be addressed by blockchain, the technology that received…

Cryptography and Security · Computer Science 2019-08-23 Sara Rouhani , Ralph Deters

Smart contracts are self-executing programs that run on blockchains (e.g., Ethereum). 680 million US dollars worth of digital assets controlled by smart contracts have been hacked or stolen due to various security vulnerabilities in 2021.…

Cryptography and Security · Computer Science 2022-04-26 Tanusree Sharma , Zhixuan Zhou , Andrew Miller , Yang Wang

Although almost all information about Smart Contract addresses is shared via websites, emails, or other forms of digital communication, Blockchains and distributed ledger technology are unable to establish secure bindings between websites…

Cryptography and Security · Computer Science 2020-04-30 Ulrich Gallersdörfer , Florian Matthes

The blockchain concept forms the backbone of a new wave technology that promises to be deployed extensively in a wide variety of industrial and societal applications. Governments, financial institutions, banks, industrial supply chains,…

Computer Science and Game Theory · Computer Science 2020-01-17 Shivika Narang

Monitoring the compliance of contract performance against legal obligations is important in order to detect violations, ideally, as soon as they occur. Such monitoring can nowadays be achieved through the use of smart contracts, which…

Software Engineering · Computer Science 2025-09-16 Regan Meloche , Durga Sivakumar , Amal A. Anda , Sofana Alfuhaid , Daniel Amyot , Luigi Logrippo , John Mylopoulos

Humanitarian Engineers need innovative methods to make technological interventions for solving societal problems. The emerging blockchain technology has the enormous potential to provide effective interventions in various developmental…

Computers and Society · Computer Science 2020-12-03 Arvind W. Kiwelekar , Sanil S. Gandhi , Laxaman D. Netak , Shankar B. Deosarkar

Smart contracts are applications that execute on blockchains. Today they manage billions of dollars in value and motivate visionary plans for pervasive blockchain deployment. While smart contracts inherit the availability and other security…

Cryptography and Security · Computer Science 2019-08-28 Raymond Cheng , Fan Zhang , Jernej Kos , Warren He , Nicholas Hynes , Noah Johnson , Ari Juels , Andrew Miller , Dawn Song

We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, data-driven transitions, and external coordination…

Programming Languages · Computer Science 2026-04-23 Elvis Konjoh Selabi , Maurizio Murgia , António Ravara , Emilio Tuosto

Smart manufacturing systems involve a large number of interconnected devices resulting in massive data generation. Cloud computing technology has recently gained increasing attention in smart manufacturing systems for facilitating…

Cryptography and Security · Computer Science 2023-04-27 Aditya Pribadi Kalapaaking , Ibrahim Khalil , Mohammad Saidur Rahman , Abdelaziz Bouras

Currently, inter-organizational process collaboration (IOPC) has been widely used in the design and development of distributed systems that support business process execution. Blockchain-based IOPC can establish trusted data sharing among…

Software Engineering · Computer Science 2023-03-17 Tianhong Xiong , Shangqing Feng , Maolin Pan , Yang Yu

Blockchain is a popular method to ensure security for trusted systems. The benefits include an auditable method to provide decentralized security without a trusted third party, but the drawback is the large computational resources needed to…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-24 Erik Blasch , Ronghua Xu , Yu Chen , Genshe Chen , Dan Shen

Natural or man-made disasters pose significant challenges for delivering critical relief to affected populations due to disruptions in critical infrastructures and logistics networks. Unmanned aerial vehicles (UAVs)-aided disaster relief…

Cryptography and Security · Computer Science 2024-08-20 Yuntao Wang , Qinnan Hu , Zhendong Li , Zhou Su , Ruidong Li , Xiang Zou , Jian Zhou

In this note we describe the application of existing smart contract technologies with the aim to construct a new digital representation of a financial derivative contract. We compare several existing DLT based technologies. We provide a…

Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design and cannot be modified once deployed, which ensures…

Software Engineering · Computer Science 2023-04-14 Ilham Qasse , Mohammad Hamdaqa , Björn Þór Jónsson

The development of blockchain technology has significantly enhanced the security and transparency of personal information and transaction records. Concurrent with the advancement of blockchain technology and the emergence of the digital…

Cryptography and Security · Computer Science 2025-09-03 Zeng Zhang , Xiaoqi Li

Blockchain is a disruptive technology intended at implementing secure decentralized distributed systems, in which transactional data can be shared, stored and verified by participants of a system using cryptographic and consensus…

Software Engineering · Computer Science 2019-03-11 Sabreen Ahmadjee , Rami Bahsoon

Blockchain is a decentralized transaction and data management solution, the technological weapon-of-choice behind the success of Bitcoin and other cryptocurrencies. As the number and variety of existing blockchain implementations continues…

Cryptography and Security · Computer Science 2018-12-24 Martin Garriga , Maximiliano Arias , Alan De Renzis

Blockchain technology has evolved from being an immutable ledger of transactions for cryptocurrencies to a programmable interactive the environment for building distributed reliable applications. Although, blockchain technology has been…

Cryptography and Security · Computer Science 2017-09-29 Aravind Ramachandran , Dr. Murat Kantarcioglu

Agreement Technologies refer to a novel paradigm for the construction of distributed intelligent systems, where autonomous software agents negotiate to reach agreements on behalf of their human users. Smart Cities are a key application…

‹ Prev 1 8 9 10 Next ›