Security Properties of Light Clients on the Ethereum Blockchain.

Santeri Paavolainen Christopher Carr

Published in: IEEE Access (2020)

Keyphrases

security properties
security requirements
security analysis
formal model
security protocols
security vulnerabilities
cryptographic protocols
formal methods
web services
case study
smart card
key agreement