A Verified Shared Capability Model. - Andrew Boyton (SSV, 2009)

Mechanised Separation Algebra. - Gerwin Klein; Rafal Kolanski; Andrew Boyton (ITP, 2012)

Separation Algebra. - Gerwin Klein; Rafal Kolanski; Andrew Boyton (Arch. Formal Proofs, 2012)

Formally Verified System Initialisation. - Andrew Boyton; June Andronick; Callum Bannister; Matthew Fernandez; Xin Gao; David Greenaway; Gerwin Klein; Corey Lewis; Thomas Sewell (ICFEM, 2013)

Secure architectures on a verified microkernel. - Andrew Boyton (2014)