Team / organization
@shaunazzopardi
repos
6
stars
46
forks
4
contributors
1
open issues
5
active 30d
0
A control-flow graph builder for Solidity smart contracts.
Static analysis for Solidity smart contract with properties as symbolic automata.
A parser from BPMN to Solidity smart contracts.
An attempt at runtime verification of Ethereum smart contracts.
A template for type-safe smart contract versioning on Ethereum.
A case study in securing calls between smart contracts using the Parity wallet.
shaunazzopardi
156 commits · 6 repos
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
