English
Related papers

Related papers: Verifiable Manufacturing Using Blockchain

200 papers

The emerging blockchain technology has enabled various decentralised applications in a trustless environment without relying on a trusted intermediary. It is expected as a promising solution to tackle sophisticated challenges on personal…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-29 Nguyen Truong , Kai Sun , Yike Guo

Blockchain is a paradigm derived from distributed systems, protocols, and security concepts. However, can blockchain applications provide services in industrial environments, especially concerning performance issues? In blockchains, long…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-14 Carlos Melo , Glauber Gonçalves , Francisco A. Silva , André Soares

Confidential computing is a key technology for isolating high-assurance applications from the large amounts of untrusted code typical in modern systems. Existing confidential computing systems cannot be certified for use in critical…

Cryptography and Security · Computer Science 2023-11-02 Wojciech Ozga , Guerney D. H. Hunt , Michael V. Le , Elaine R. Palmer , Avraham Shinnar

The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the key capabilities of these emerging platforms is the ability…

Cryptography and Security · Computer Science 2019-01-23 Anastasia Mavridou , Aron Laszka , Emmanouela Stachtiari , Abhishek Dubey

A blockchain-based framework for distributed agile software testing life cycle is an innovative approach that uses blockchain technology to optimize the software testing process. Previously, various methods were employed to address…

Software Engineering · Computer Science 2023-07-17 Muhammad Shoaib Farooq , Fatima Ahmed

When computation is outsourced, the data owner would like to be assured that the desired computation has been performed correctly by the service provider. In theory, proof systems can give the necessary assurance, but prior work is not…

Databases · Computer Science 2011-10-03 Graham Cormode , Justin Thaler , Ke Yi

The present paper introduces a practical protocol for provably secure, outsourced computation. Our protocol minimizes overhead for verification by requiring solutions to withstand an interactive game between a prover and challenger. For…

Computer Science and Game Theory · Computer Science 2016-06-21 Sanjay Jain , Prateek Saxena , Frank Stephan , Jason Teutsch

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

The primary purpose of this paper is to provide a design of a blockchain-based system, which produces a verifiable record of achievements. Such a system has a wide range of potential benefits for students, employers and higher education…

Computers and Society · Computer Science 2020-07-07 Bakri Awaji , Ellis Solaiman , Lindsay Marshall

Large-scale production is always associated with more and more development and interaction among peers, and many fields achieve higher economic benefits through project cooperation. However, project managers in the traditional centralized…

Computers and Society · Computer Science 2022-07-20 Dun Li , Dezhi Han , Benhui Xia , Tien-Hsiung Weng , Arcangelo Castiglione , Kuan-Ching Li

Blockchains rely on a consensus among participants to achieve decentralization and security. However, reaching consensus in an online, digital world where identities are not tied to physical users is a challenging problem. Proof-of-work…

Cryptography and Security · Computer Science 2020-11-16 Hjalmar Turesson , Henry M. Kim , Marek Laskowski , Alexandra Roatis

There has been an intense concern for security alternatives because of the recent rise of cyber attacks, mainly targeting critical systems such as industry, medical, or energy ecosystem. Though the latest industry infrastructures largely…

Cryptography and Security · Computer Science 2021-06-28 Ziaur Rahman , Ibrahim Khalil , Xun Yi , Mohammed Atiquzzaman

In most High Performance Computing (HPC) projects nowadays, there is a lot of data obtained from different sources, depending on the project's objectives. Some of that data is very huge in terms of size, so copying such data sometimes is an…

Cryptography and Security · Computer Science 2026-01-21 Gian Sebastian Mier Bello , Alexander Martinez Mendez , Carlos J. Barrios H. , Robinson Rivas , Luis A. Núñez

Blockchain is a type of decentralized distributed database. Unlike traditional relational database management systems, it does not require management or maintenance by a third party. All data management and update processes are open and…

Cryptography and Security · Computer Science 2025-05-14 Jiaqi Huang , Yuanzheng Niu , Xiaoqi Li , Zongwei Li

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

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

Blockchain technology provides a tamper-proof mechanism to execute inter-organizational business processes involving mutually untrusted parties. Existing approaches to blockchain-based process execution are based on code generation. In…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

Industry 4.0 is a concept devised for improving the way modern factories operate through the use of some of the latest technologies, like the ones used for creating Industrial Internet of Things (IIoT), robotics or Big Data applications.…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-02-02 Tiago M. Fernandez-Carames , Paula Fraga-Lamas

\abstract{\textbf{Purpose:} This study addresses the lack of trust in ethical product labels by designing a blockchain platform grounded in the TAFES principles (Transparency, Accountability, Fairness, Ethics, Safety). It aims to bridge the…

Computational Engineering, Finance, and Science · Computer Science 2026-05-07 Nadia Dahmani , Peihao Li , Ravi S. Sharma

Machine learning algorithms learn from data and use data from databases that are mutable; therefore, the data and the results of machine learning cannot be fully trusted. Also, the machine learning process is often difficult to automate. A…

Machine Learning · Computer Science 2019-08-19 Tao Wang , Xinmin Wu , Taiping He