English
Related papers

Related papers: Formalizing and Verifying Decentralized Systems wi…

200 papers

With the increase of web users and applications with real time requests, the ability to identify, track and trace elements of a product as it moves in the supply chain is deemed necessary, and for many industries is even mandated by…

Cryptography and Security · Computer Science 2018-10-23 Thomas Sermpinis , Christos Sermpinis

With the advent of blockchain technologies, the idea of decentralized applications has gained traction. Smart contracts permit the implementation of application logic to foster distributed systems that are capable of removing…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-12 Martin Westerkamp

Sensor technologies have evolved to a point where it is now practical to monitor products along the supply chain. The collected data can be stored in a decentralized way using blockchain technology. However, ensuring the reliability of the…

Cryptography and Security · Computer Science 2026-03-24 Sara Aguincha , Emanuel Nunes , Samih Eisa , Miguel L. Pardal

The paper presents an innovative approach to address the challenges of scalability and reliability in Distributed Federated Learning by leveraging the integration of blockchain technology. The paper focuses on enhancing the trustworthiness…

Machine Learning · Computer Science 2025-07-11 Ajay Kumar Shrestha , Faijan Ahamad Khan , Mohammed Afaan Shaikh , Amir Jaberzadeh , Jason Geng

Blockchain and distributed ledger technologies (DLTs) facilitate decentralized computations across trust boundaries. However, ensuring complex computations with low gas fees and confidentiality remains challenging. Recent advances in…

Cryptography and Security · Computer Science 2026-02-12 Fernando Castillo , Jonathan Heiss , Sebastian Werner , Stefan Tai

Events in the Solidity language provide a means of communication between the on-chain services of decentralized applications and the users of those services. Events are commonly used as an abstraction of contract execution that is relevant…

Programming Languages · Computer Science 2020-05-22 Ákos Hajdu , Dejan Jovanović , Gabriela Ciocarlie

For more than a century, the grid has operated in a centralized top-down fashion. However, as distributed energy resources (DERs) penetration grows, the grid edge is increasingly infused with intelligent computing and communication…

Systems and Control · Electrical Eng. & Systems 2024-08-30 Sakshi Mishra , Roohallah Khatami , Yu Christine Chen

The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far fewer verification efforts that go beyond the core protocols…

Programming Languages · Computer Science 2021-09-14 Nouraldin Jaber , Christopher Wagner , Swen Jacobs , Milind Kulkarni , Roopsha Samanta

As blockchain technology gains traction for enhancing data security and operational efficiency, traditional centralized authentication systems remain a significant bottleneck. This paper addresses the challenge of integrating decentralized…

Cryptography and Security · Computer Science 2024-12-03 Faisal Haque Bappy , Joon S. Park , Kamrul Hasan , Tariqul Islam

Consensus plays a crucial role in distributed ledger systems, impacting both scalability and decentralization. Many blockchain systems use a weighted lottery based on a scarce resource such as a stake, storage, memory, or computing power to…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-18 Grigorii Melnikov , Sebastian Müller , Nikita Polyanskii , Yury Yanovich

Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens…

Cryptography and Security · Computer Science 2022-07-11 Margarita Capretto , Martin Ceresa , Cesar Sanchez

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

With the rise of cryptocurrencies, many new applications built on decentralized blockchains have emerged. Blockchains are full-stack distributed systems where multiple sub-systems interact. While many deployed blockchains and decentralized…

Cryptography and Security · Computer Science 2025-12-16 Ivan Homoliak

Blockchain or Distributed Ledger Technology is a disruptive technology that provides the infrastructure for developing decentralized applications enabling the implementation of novel business models even in traditionally centralized…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-22 Claudia Pop , Tudor Cioara , Ionut Anghel , Marcel Antal , Ioan Salomie

Blockchain, Smart Contracts and Distributed Ledger Technology (DLT) are being touted to revolutionise digital services - through decentralisation. Cryptocurrencies, self-sovereign identities, decentralised certificate registries, and…

Computers and Society · Computer Science 2019-11-01 Joshua Ellul , Gordon Pace

Federated learning can solve the privacy protection problem in distributed data mining and machine learning, and how to protect the ownership, use and income rights of all parties involved in federated learning is an important issue. This…

Cryptography and Security · Computer Science 2025-07-11 Xiaogang Cheng , Ren Guo

In the age of Big Data, releasing protected sensitive data at a future point in time is critical for various applications. Such self-emerging data release requires the data to be protected until a prescribed data release time and be…

Cryptography and Security · Computer Science 2019-02-18 Chao Li , Balaji Palanisamy

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

Logic in Computer Science · Computer Science 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions. Hyperledger Fabric framework exposes a multi-party…

Cryptography and Security · Computer Science 2022-09-21 Ivan Fedotov , Anton Khritankov , Artem Barger

Blockchain technology relies on decentralization to resist faults and attacks while operating without trusted intermediaries. Although industry experts have touted decentralization as central to their promise and disruptive potential, it is…

Cryptography and Security · Computer Science 2025-06-04 Harang Ju , Ehsan Valavi , Madhav Kumar , Sinan Aral