Security Engineering: A Guide to Building Dependable Distributed Systems

CppMem: Formalised Interactive C/C++ memory model

Towards a Theory of Application Compartmentalisation (2013)

Partially evaluating a bytecode interpreter using C++ templates

Copy Protection in Modern Microcontrollers

Beyond the PDP-11: Architectural support for a memory-safe C abstract machine (CHERI)

Practical memory safety for C

Pipelines are lazy functional composition with recombination (2011)

The impact of fast networks on graph analytics, part 2

A position on licensing research software