VeriSolid: Correct-by-Design Smart Contracts for Ethereum

v1v2 (latest)

VeriSolid: Correct-by-Design Smart Contracts for Ethereum

4 January 2019

Anastasia Mavridou

Emmanouela Stachtiari

ArXiv (abs)PDF HTML

Papers citing "VeriSolid: Correct-by-Design Smart Contracts for Ethereum"

13 / 13 papers shown

Title
Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Chanuka Wijayakoon Hai Dong H.M.N. Dilum Bandara Z. Tari Anurag Soin AILaw ELM 48 0 0 01 Jun 2025
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis Dalila Ressi Alvise Spanò Lorenzo Benetollo Carla Piazza M. Bugliesi Sabina Rossi 67 5 0 26 Jul 2024
Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network Ben Weintraub Satwik Prabhu Kumble Cristina Nita-Rotaru Stefanie Roos 52 4 0 03 May 2024
A Survey of Verification, Validation and Testing Solutions for Smart Contracts Chaïmaa Benabbou Ö. Gürcan 29 5 0 07 Dec 2021
A formal model for ledger management systems based on contracts and temporal logic Paolo Bottoni Anna Labella R. Pareschi 35 1 0 30 Sep 2021
On the Suitability of Blockchain Platforms for IoT Applications: Architectures, Security, Privacy, and Performance Sotirios Brotsis Konstantinos Limniotis G. Bendiab N. Kolokotronis S. Shiaeles 43 67 0 06 Sep 2021
SmartOil: Blockchain and smart contract-based oil supply chain management A. B. Haque M. Hasan Md. Oahiduzzaman Mondol Zihad 8 27 0 11 May 2021
A Survey on Vulnerabilities of Ethereum Smart Contracts Z. Khan A. Namin 38 7 0 28 Dec 2020
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems Bin Hu Zongyang Zhang Jianwei Liu Yizhong Liu Jiayuan Yin R. Lu Xiaodong Lin AILaw 122 116 0 31 Aug 2020
Security checklists for Ethereum smart contract development: patterns and best practices Lodovica Marchesi M. Marchesi Livio Pompianu Roberto Tonelli 23 13 0 09 Aug 2020
Bitcoin Trace-Net: Formal Contract Verification at Signing Time J. Chiang 53 1 0 15 Jul 2020
Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media Afiya Ayman Shanto Roy Amin Alipour Aron Laszka 57 7 0 15 May 2019
Detecting Standard Violation Errors in Smart Contracts Ao Li Fan Long 35 13 0 18 Dec 2018