A Semantic Framework for the Security Analysis of Ethereum smart contracts

23 February 2018

Papers citing "A Semantic Framework for the Security Analysis of Ethereum smart contracts"

4 / 4 papers shown

Title
CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain LingXiang Wang Hainan Zhang Qinnan Zhang Ziwei Wang Hongwei Zheng Jin Dong Zhiming Zheng 107 0 0 28 Apr 2025
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach Anastasia Mavridou Aron Laszka 56 220 0 26 Nov 2017
Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing Changyu Dong Yilei Wang A. Aldweesh Patrick McCorry Aad van Moorsel 49 162 0 03 Aug 2017
A Concurrent Perspective on Smart Contracts Ilya Sergey Aquinas Hobor GNN 25 135 0 17 Feb 2017