Legba: Fast Hardware Support for Fine-Grained Protection. - Adam Wiggins; Simon Winwood; Harvey Tuch; Gernot Heiser (Asia-Pacific Computer Systems Architecture Conference, 2003)

Secure Untrusted Binaries - Provably!. - Simon Winwood; Manuel M. T. Chakravarty (Formal Aspects in Security and Trust, 2005)

On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. - Simon Winwood; Gerwin Klein; Manuel M. T. Chakravarty (LOPSTR, 2006)

seL4: formal verification of an OS kernel. - Gerwin Klein; Kevin Elphinstone; Gernot Heiser; June Andronick; David A. Cock; Philip Derrin; Dhammika Elkaduwe; Kai Engelhardt; Rafal Kolanski; Michael Norrish; Thomas Sewell; Harvey Tuch; et al. (SOSP, 2009)

Mind the Gap. - Simon Winwood; Gerwin Klein; Thomas Sewell; June Andronick; David A. Cock; Michael Norrish (TPHOLs, 2009)

Refinement in the Formal Verification of the seL4 Microkernel. - Gerwin Klein; Thomas Sewell; Simon Winwood (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)

seL4: formal verification of an operating-system kernel. - Gerwin Klein; June Andronick; Kevin Elphinstone; Gernot Heiser; David A. Cock; Philip Derrin; Dhammika Elkaduwe; Kai Engelhardt; Rafal Kolanski; Michael Norrish; Thomas Sewell; Harvey Tuch; et al. (Commun. ACM, 2010)

Provable Security: How Feasible Is It? - Gerwin Klein; Toby C. Murray; Peter Gammie; Thomas Sewell; Simon Winwood (HotOS, 2011)

seL4 Enforces Integrity. - Thomas Sewell; Simon Winwood; Peter Gammie; Toby C. Murray; June Andronick; Gerwin Klein (ITP, 2011)

Singleton: a general-purpose dependently-typed assembly language. - Simon Winwood; Manuel M. T. Chakravarty (TLDI, 2011)

Guilt free ivory. - Trevor Elliott; Lee Pike; Simon Winwood; Patrick C. Hickey; James Bielman; Jamey Sharp; Eric L. Seidel; John Launchbury (Haskell, 2015)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst. - Ryan G. Scott; Brett Boston; Benjamin Davis; Iavor S. Diatchki; Mike Dodds; Joe Hendrix; Daniel Matichuk; Kevin Quick; Tristan Ravitch; Valentin Robert; Benjamin Selfridge; Andrei Stefanescu; et al. (CoRR, 2024)

Daedalus: Safer Document Parsing. - Iavor S. Diatchki; Mike Dodds; Harrison Goldstein; Bill Harris; David A. Holland; Benoît Razet; Cole Schlesinger; Simon Winwood (Proc. ACM Program. Lang., 2024)