12 citations · 46 across the 12 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari +1
The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the k…
cs.CR2018
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
Anastasia Mavridou, Aron Laszka
Blockchain-based distributed computing platforms enable the trusted execution of computation - defined in the form of smart contracts - without trusted agents. Smart contracts are…
cs.CR2017★ 3 cited
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Anastasia Mavridou, Aron Laszka
The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, whi…