A Semantic Framework for the Security Analysis of Ethereum Smart Contracts.

Ilya Grishchenko Matteo Maffei Clara Schneidewind

Published in: POST (2018)

Keyphrases

security analysis
smart card
databases
data mining
database systems
lightweight
intelligent agents
proxy signature scheme