A security framework for Ethereum smart contracts

An Analysis of Smart Contracts Security Threats Alongside Existing Solutions

(2020) Antonio López Vivar et al.   Entropy

A Formal Verification Framework for Security Issues of Blockchain Smart Contracts

(2020) Tianyu Sun et al.   Electronics

Enhancing Border Gateway Protocol Security Using Public Blockchain

(2020) Lukas Mastilak et al.   SENSORS

Blockchain-Enabled E-Voting

(2018) Nir Kshetri et al.   IEEE SOFTWARE

A First Look at Identity Management Schemes on the Blockchain

(2018) Paul Dunphy et al.   IEEE SECURITY & PRIVACY

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems

(2016) Radu Calinescu et al.   IEEE TRANSACTIONS ON RELIABILITY

Blockchains and Smart Contracts for the Internet of Things

(2016) Konstantinos Christidis et al.   IEEE Access