CALISDO: Threat Modeling for Distributed Designs

The Zero, One, Infinity Disease

Jitter: Making Things Better With Randomness

How Amazon Web Services Uses Formal Methods

Snark, Chord, and Trust in Algorithms

Does Bitcoin Solve Byzantine Consensus?

A Quiet Defense of Patterns

Make your program slower with threads

Two Farmers and Common Knowledge

Exactly-Once Delivery May Not Be What You Want