12 citations · 46 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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…
cs.SE2017
Coordination of Dynamic Software Components with JavaBIP
Anastasia Mavridou, Valentin Rutz, Simon Bliudze
JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of th…