| Metamorphic Testing for Smart Contract Validation: A Case Study of Ethereum-Based Crowdfunding Contracts |
Irving Jared Villanueva, Madhusudan Srinivasan and Faqeer Ur Rehman |
| Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security |
Zhiyang Chen, Jan Gorzny and Martin Derka |
| Tokenizing Urban Sustainability: Leveraging Open Data and Blockchain for Smarter Cities |
Antonio Pierro and Andy Amoordon. |
| Simulation of Energy Communities Using Simulink and the Ethereum Sepolia Blockchain |
Azmat Ullah and Giuseppe Pierro |
| Decoding the Influence: Analyzing the Impact of Crypto Signals on Software Repositories |
Shawal Khalid, Huayu Liang and Chris Brown |
| Smart contract-based automation for ephemeral team composition |
Ilaria Lunesu, Andrea Pinna and Alice Zonca |
| Large Language Models for Synthetic Dataset Generation: A Case Study on Ethereum Smart Contract DoS Vulnerabilities |
Giacomo Ibba, Gavina Baralla and Giuseppe Destefanis |