A Survey on Ethereum Systems Security

STRAM

(2019) Jin-Hee Cho et al.   ACM COMPUTING SURVEYS

Unified Preventive and Reactive Cyber Defense Dynamics Is Still Globally Convergent

(2019) Zongzong Lin et al.   IEEE-ACM TRANSACTIONS ON NETWORKING

Majority is not enough

(2018) Ittay Eyal et al.   COMMUNICATIONS OF THE ACM

IoT security: Review, blockchain solutions, and open challenges

(2018) Minhaj Ahmad Khan et al.   Future Generation Computer Systems-The International Journal of eScience

A Survey on Security and Privacy Issues of Bitcoin

(2018) Mauro Conti et al.   IEEE Communications Surveys and Tutorials

A survey on the security of blockchain systems

(2017) Xiaoqi Li et al.   Future Generation Computer Systems-The International Journal of eScience

From blockchain consensus back to Byzantine consensus

(2017) Vincent Gramoli   Future Generation Computer Systems-The International Journal of eScience

Model-Based Quantitative Network Security Metrics: A Survey

(2017) Alex Ramos et al.   IEEE Communications Surveys and Tutorials

A Survey on Systems Security Metrics

(2016) Marcus Pendleton et al.   ACM COMPUTING SURVEYS

Bitcoin and Beyond: A Technical Survey on Decentralized Digital Currencies

(2016) Florian Tschorsch et al.   IEEE Communications Surveys and Tutorials

Push- and pull-based epidemic spreading in networks

(2012) Shouhuai Xu et al.   ACM Transactions on Autonomous and Adaptive Systems

An overview of the K semantic framework

(2010) Grigore Roșu et al.   JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING