English
Related papers

Related papers: Trustless Machine Learning Contracts; Evaluating a…

200 papers

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous…

Programming Languages · Computer Science 2019-04-16 Franklin Schrans , Daniel Hails , Alexander Harkness , Sophia Drossopoulou , Susan Eisenbach

We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart contracts with a computationally sound embedding into Bitcoin.…

Programming Languages · Computer Science 2019-08-06 Nicola Atzei , Massimo Bartoletti , Stefano Lande , Nobuko Yoshida , Roberto Zunino

Blockchain is a form of distributed ledger technology (DLT) where data is shared among users connected over the internet. Transactions are data state changes on the blockchain that are permanently recorded in a secure and transparent way…

Cryptography and Security · Computer Science 2021-06-18 Amirmohammad Pasdar , Zhongli Dong , Young Choon Lee

Federated machine learning (FL) allows to collectively train models on sensitive data as only the clients' models and not their training data need to be shared. However, despite the attention that research on FL has drawn, the concept still…

Cryptography and Security · Computer Science 2021-11-12 Timon Rückel , Johannes Sedlmeir , Peter Hofmann

Federated learning is a new approach to distributed machine learning that offers potential advantages such as reducing communication requirements and distributing the costs of training algorithms. Therefore, it could hold great promise in…

Robotics · Computer Science 2024-09-04 Alexandre Pacheco , Sébastien De Vos , Andreagiovanni Reina , Marco Dorigo , Volker Strobel

To alleviate difficulties in writing smart contracts for distributed blockchain applications, as other research, we propose transformation of Business Process Model and Notation (BPMN) models into blockchain smart contracts. Unlike other…

Software Engineering · Computer Science 2025-06-02 Christian Gang Liu

Federated Learning is a promising machine learning paradigm when multiple parties collaborate to build a high-quality machine learning model. Nonetheless, these parties are only willing to participate when given enough incentives, such as a…

Machine Learning · Computer Science 2021-06-10 Shuaicheng Ma , Yang Cao , Li Xiong

The industrial market continuously needs reliable solutions to secure autonomous systems. Especially as these systems become more complex and interconnected, reliable security solutions are becoming increasingly important. One promising…

Cryptography and Security · Computer Science 2025-06-30 Önder Gürcan

Applications of blockchain technologies got a lot of attention in recent years. They exceed beyond exchanging value and being a substitute for fiat money and traditional banking system. Nevertheless, being able to exchange value on a…

Cryptography and Security · Computer Science 2019-08-22 Michal Ostapowicz , Kamil Żbikowski

The Ethereum blockchain permits the development and deployment of smart contracts which can store and execute code 'on-chain' - that is, entirely on nodes in the blockchain's network. Smart contracts have traditionally been used for…

Cryptography and Security · Computer Science 2023-01-18 Ike Smith , Casey Clifton

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

A smart contract on a blockchain cannot keep a secret because its data is replicated on all nodes in a network. To remedy this problem, it has been suggested to combine blockchains with trusted execution environments (TEEs), such as Intel…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-23 Marcus Brandenburger , Christian Cachin , Rüdiger Kapitza , Alessandro Sorniotti

Smart contract, one of the most successful applications of blockchain, is taking the world by storm, playing an essential role in the blockchain ecosystem. However, frequent smart contract security incidents not only result in tremendous…

Cryptography and Security · Computer Science 2022-09-14 Peng Qian , Zhenguang Liu , Qinming He , Butian Huang , Duanzheng Tian , Xun Wang

Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-24 Enrique Fynn , Alysson Bessani , Fernando Pedone

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart contracts may not directly lead to security issues, they do…

Computation and Language · Computer Science 2026-02-03 Zongwei Li , Xiaoqi Li , Wenkai Li , Xin Wang

Skill verification is a central problem in workforce hiring. Companies and academia often face the difficulty of ascertaining the skills of an applicant since the certifications of the skills claimed by a candidate are generally not…

Cryptography and Security · Computer Science 2020-03-26 Jay Gupta , Swaprava Nath

Blockchain has emerged as a trusted and secure distributed ledger for transactions while also being decentralised, distributed and its legitimacy not guaranteed by a trusted authority. Since the appearance of Bitcoin, Blockchain has known…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-10-01 Ioana Stanescu , Lenuta Alboaie , Andrei Panu

The need for data trading promotes the emergence of data market. However, in conventional data markets, both data buyers and data sellers have to use a centralized trading platform which might be dishonest. A dishonest centralized trading…

Cryptography and Security · Computer Science 2020-07-15 Guoxiong Su , Wenyuan Yang , Zhengding Luo , Yinghong Zhang , Zhiqiang Bai , Yuesheng Zhu

Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve the exchange of any form of physical evidence, such as money,…

Cryptography and Security · Computer Science 2024-03-26 Zaynah Dargaye , Önder Gürcan , Florent Kirchner , Sara Tucci-Piergiovanni

Distributed learning across a coalition of organizations allows the members of the coalition to train and share a model without sharing the data used to optimize this model. In this paper, we propose new secure architectures that guarantee…

Cryptography and Security · Computer Science 2020-02-03 Sebastien Lugan , Paul Desbordes , Luis Xavier Ramos Tormo , Axel Legay , Benoit Macq