Blockchains

• ERC20-K: Formal Executable Specification of ERC20
• Cryptocurrency Predictions for 2018
• 95 Crypto Theses for 2018
• XMO Director Released From Kidnap After Paying $1 Mln Ransom
• Correct-by-construction Casper | A Visualization for the Future of Blockchain Consensus
• Minimal Viable Plasma

Distributed Systems

• Logical clocks and Vector clocks modeling in TLA+/PlusCal

InfoSec

• THE SCRYPT PARAMETERS
• On Weird Machines, etc.
• Escaping Docker container using waitid() – CVE-2017-5123
• Meltdown and Spectre
  • all computers broken :(

Misc

• OpenBSD Workstation Guide

Papers

• MY FAVORITE PAPERS OF 2017