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
InfoSec
- THE SCRYPT PARAMETERS
- On Weird Machines, etc.
- Escaping Docker container using waitid() – CVE-2017-5123
- Meltdown and Spectre
- all computers broken :(