English
Related papers

Related papers: Harmonica: A Framework for Semi-automated Design a…

200 papers

Smart contracts on a blockchain behave precisely as specified by their code. A vulnerability in this code can lead to unexpected behaviour, which is hard to fix because a blockchain does not allow to change smart contract code after its…

Programming Languages · Computer Science 2019-11-27 Markus Knecht

Blockchain technology has taken on a leading role in today's industrial applications by providing salient features and showing significant performance since its beginning. Blockchain began its journey from the concept of cryptocurrency and…

Cryptography and Security · Computer Science 2021-05-26 Khizar Hameed , Mutaz Barika , Saurabh Garg , Muhammad Bilal Amin , Byeong Kang

With the rapid evolution of technological, economic, and regulatory landscapes, contemporary blockchain platforms are all but certain to undergo major changes. Therefore, the applications that rely on them will eventually need to migrate…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-27 HMN Dilum Bandara , Xiwei Xu , Ingo Weber

Emerging advanced applications, such as smart cities, healthcare, and virtual reality, demand more challenging requirements on sixth-generation (6G) mobile networks, including the need for improved secrecy, greater integrity,…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-12 Bo Li , Shuiguang Deng , Xueqiang Yan , Schahram Dustdar

There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epistemic and Subjective Logic) and other mathematical models.…

Cryptography and Security · Computer Science 2021-06-10 Shantanu Pal , Ambrose Hill , Tahiry Rabehaja , Michael Hitchens

Blockchain is an emerging decentralized data collection, sharing and storage technology, which have provided abundant transparent, secure, tamper-proof, secure and robust ledger services for various real-world use cases. Recent years have…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-08-18 Xiao Li , Weili Wu

Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking…

Programming Languages · Computer Science 2021-08-31 Thi Thu Ha Doan , Peter Thiemann

Permissioned blockchains have been proposed for a variety of use cases that require decentralization yet address enterprise requirements that permissionless blockchains to date cannot satisfy -- particularly in terms of performance.…

Cryptography and Security · Computer Science 2024-04-05 Orestis Papageorgiou , Lasse Börtzler , Egor Ermolaev , Jyoti Kumari , Johannes Sedlmeir

Blockchain scalability can be complicated and costly. As enterprises begin to adopt blockchain technology to solve business problems, there are valid concerns if blockchain applications can support the transactional demands of production…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-25 Grant Chung , Luc Desrosiers , Manav Gupta , Andrew Sutton , Kaushik Venkatadri , Ontak Wong , Goran Zugic

Blockchain is a relatively new technology that can be seen as a decentralised database. Blockchain systems heavily rely on cryptographic hash functions to store their data, which makes it difficult to tamper with any data stored in the…

Computer Vision and Pattern Recognition · Computer Science 2020-04-16 Cameron White , Manoranjan Paul , Subrata Chakraborty

Current blockchain approaches for business contracts are based on smart contracts, namely, software programs placed on a blockchain that are automatically executed to realize a contract. However, smart contracts lack flexibility and…

Multiagent Systems · Computer Science 2021-04-20 Samuel H. Christie , Amit K. Chopra , Munindar P. Singh

The pervasiveness of the Internet of Things (IoT) has enabled the administration of a large number of intelligent devices. However, IoT is based on centralised models, which introduce a number of problems, such as a single point of failure…

Cryptography and Security · Computer Science 2022-08-25 Adel Albshri , Bakri Awaji , and Ellis Solaiman

Heretofore the concept of "blockchain" has not been precisely defined. Accordingly the potential useful applications of this technology have been largely inflated. This work sidesteps the question of what constitutes a blockchain as such…

Databases · Computer Science 2017-03-14 S. Matthew English , Ehsan Nezhadian

In the rapidly evolving digital business landscape, organizations increasingly need to collaborate across boundaries to achieve complex business objectives, requiring both efficient process coordination and flexible decision-making…

Software Engineering · Computer Science 2024-12-03 Xinzhe Shen , Jiale Luo , Hao Wang , Mingyi Liu , Schahram Dustdar , Zhongjie Wang

Blockchain is an incipient technology that offers many strengths compared to traditional systems, such as decentralization, transparency and traceability. However, if the technology is to be used for processing personal data, complementary…

Software Engineering · Computer Science 2020-10-27 Fernanda Molina , Gustavo Betarte , Carlos Luna

A blockchain is a distributed ledger for recording transactions, maintained by many nodes without central authority through a distributed cryptographic protocol. All nodes validate the information to be appended to the blockchain, and a…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-07-10 Christian Cachin , Marko Vukolić

The paradigm of Internet of Things (IoT) is paving the way for a world, where many of our daily objects will be interconnected and will interact with their environment in order to collect information and automate certain tasks. Such a…

Cryptography and Security · Computer Science 2024-02-02 Tiago M. Fernandez-Carames , Paula Fraga-Lamas

The state-of-the-art mobile edge applications are generating intense traffic and posing rigorous latency requirements to service providers. While resource sharing across multiple service providers can be a way to maximize the utilization of…

Networking and Internet Architecture · Computer Science 2018-01-15 He Zhu , Changcheng Huang , Jiayu Zhou

Superconducting quantum hardware architectures have been designed by considering the physical constraints of the underlying physics. These general-purpose architectures leave room for customization and optimization that can be exploited…

Quantum Physics · Physics 2024-05-06 Jagatheesan Kunasaikaran , Kevin Mato , Robert Wille

Modern blockchain applications are often constrained by a trade-off between user experience and trust. Chainless Apps present a new paradigm of application architecture that separates execution, trust, bridging, and settlement into distinct…

Cryptography and Security · Computer Science 2025-05-30 Brian Seong , Paul Gebheim