Stories by matt_d

Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU IRQ Logic

Checked C: Making C Safer by Extension

Automated Instruction Stream Throughput Prediction for Intel and AMD

Adding peephole optimization to GCC

What makes processors fail – and how to prevent it

Optimizing is-multiple checks with modular arithmetic

Discerning the Out-Of-Order Advantage: Is It Speculation or Dynamism? (2013) [pdf]

Moment-based quantile sketches for efficient aggregation

Hot Chips 30 (2018) Keynote 1: Spectre/Meltdown

GOTO 2018 • Computer Science – A Guide for the Perplexed • Joe Armstrong

History of Lisp

The PowerPC 600 series, part 14: Code walkthrough

Evaluating Empirical Evaluations (for Fuzz Testing)

An Exploratory Analysis of Microcode as a Building Block for System Defenses [pdf]

Doublethink – 8-Architecture Assembly Polyglot

The Brief but Spectacular History of Shockley Labs

James Mickens USENIX Security 2018 Keynote

Malicious Management Unit: Why Stopping Cache Attacks in Software Is Harder…

Software Security Is a Programming Languages Issue

Dijkstra's in Disguise