A Semantic Framework for the Security Analysis of Ethereum smart contracts.

Ilya Grishchenko Matteo Maffei Clara Schneidewind

Published in: CoRR (2018)

Keyphrases

security analysis
supply chain
lightweight
databases
multi agent systems
multiresolution
public key
image encryption