Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Unicode Fonts and Tools for X11

Trusted Computing Frequently Asked Questions (2003)

ASCII and Unicode quotation marks (2007)

The Global Trust Register (1999)

The space and motion of communicating agents (2008) [pdf]

The Database of Faces

BCPL (2022)

How the Afghan Girl Was Identified by Her Iris Patterns

Misusing police database now over half of all cybercrime prosecutions in the UK [pdf]

Young Persons Guide to BCPL Programming on the Raspberry Pi [pdf]

Security Engineering - A Guide to Building Dependable Distributed Systems (Textbook)

Security Engineering - A Guide to Building Dependable Distributed Systems

Implementation of Functional Languages Using Custom Hardware (1985)

Rossfest Symposium and Festschrift in memory of Ross Anderson

Baking Pi – Operating Systems Development (2012)

BCPL evolved from CPL. (2021) [pdf]

The CHERI Instruction-Set Architecture, Version 9

The Cerberus C semantics [pdf]

JBIG-KIT lossless image compression library

The CHERI capability model: Revisiting RISC in an age of risk

Side Channels

An introduction to inertial navigation

A summary of the international standard date and time notation (2004)

Cheri C/C++ Programming Guide

Capability Hardware Enhanced RISC Instructions (CHERI)

Copy Protection in Modern Microcontrollers (2001)

Formal verification of IA-64 division algorithms (2000)

“Proof-of-Work” Proves Not to Work (2004)

How much is a mechanized proof worth, certification-wise?

Young Persons Guide to BCPL Programming on the Raspberry Pi

More →