Tootfinder

Solsmith: Solidity Random Program Generator for Compiler Testing
Lantian Li, Zhihao Liu, Zhongxing Yu
https://arxiv.org/abs/2506.03909 https://

Solsmith: Solidity Random Program Generator for Compiler Testing
Smart contracts are computer programs that run on blockchain platforms, with Solidity being the most widely used language for their development. As blockchain technology advances, smart contracts have become increasingly important across various fields. In order for smart contracts to operate correctly, the correctness of the compiler is particularly crucial. Although some research efforts have been devoted to testing Solidity compilers, they primarily focus on testing methods and do not addres…

Poster: FedBlockParadox -- A Framework for Simulating and Securing Decentralized Federated Learning
Gabriele Digregorio, Francesco Bleggi, Federico Caroli, Michele Carminati, Stefano Zanero, Stefano Longari
https://arxiv.org/abs/2506.02679

Poster: FedBlockParadox -- A Framework for Simulating and Securing Decentralized Federated Learning
A significant body of research in decentralized federated learning focuses on combining the privacy-preserving properties of federated learning with the resilience and transparency offered by blockchain-based systems. While these approaches are promising, they often lack flexible tools to evaluate system robustness under adversarial conditions. To fill this gap, we present FedBlockParadox, a modular framework for modeling and evaluating decentralized federated learning systems built on blockcha…

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS )
Christian Gang Liu, Peter Bodorik, Dawn Jutla
https://arxiv.org/abs/2506.02727

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other research efforts, we also use Business Process Model and Notation BPMN modeling to describe application requirements for trade of goods and services and then transform automatically the BPMN model into the methods of a smart contract. In our previous research…

Trustworthy Provenance for Big Data Science: a Modular Architecture Leveraging Blockchain in Federated Settings
Nicola Giuseppe Marchioro, Yannis Velegrakis, Valentine Anantharaj, Ian Foster, Sandro Luigi Fiore
https://arxiv.org/abs/2505.24675

Trustworthy Provenance for Big Data Science: a Modular Architecture Leveraging Blockchain in Federated Settings
Ensuring the trustworthiness and long-term verifiability of scientific data is a foundational challenge in the era of data-intensive, collaborative research. Provenance metadata plays a key role in this context, capturing the origin, transformation, and usage of research artifacts. However, existing solutions often fall short when applied to distributed, multi-institutional settings. This paper introduces a modular, domain-agnostic architecture for provenance tracking in federated environments,…

This https://arxiv.org/abs/2404.00306 has been replaced.
link: https://scholar.google.com/scholar?q=a

A blockchain-based intelligent recommender system framework for enhancing supply chain resilience
This research proposed a data-driven supply chain disruption response baseline framework based on intelligent recommender system technology as an initial SCRes reactive solution. To improve the data quality and reliability of the proposed IRS as a stable, secure, and resilient decision support system, blockchain technology is integrated into the baseline architecture. The smart contract is prototyped to demonstrate the information exchange mechanism under a BLC network environment. The BLC-IRS …

Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
Christian Gang Liu
https://arxiv.org/abs/2505.24309

Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
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 research, we use Discrete Event Hierarchical State Machine (DE-HSM) multi-modal modeling to identify collaborative trade transactions that need to be supported by the smart contract and describe how the trade transactions, that may be nested, are supported by a…

This https://arxiv.org/abs/2502.08465 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDC_…

Morpheus Consensus: Excelling on trails and autobahns
Recent research in consensus has often focussed on protocols for State-Machine-Replication (SMR) that can handle high throughputs. Such state-of-the-art protocols (generally DAG-based) induce undue overhead when the needed throughput is low, or else exhibit unnecessarily-poor latency and communication complexity during periods of low throughput. Here we present Morpheus Consensus, which naturally morphs from a quiescent low-throughput leaderless blockchain protocol to a high-throughput leader…