Posts tagged with “paper-review” 2017-02-04 — Verifying Distributed Systems with Verdi 2016-05-21 — Folk Models of Home Computer Security 2015-02-08 — Composable and Compilable Macros