Simon Winwood

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c7		Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein: seL4 Enforces Integrity. ITP 2011: 325-340
c6		Simon Winwood, Manuel M. T. Chakravarty: Singleton: a general-purpose dependently-typed assembly language. TLDI 2011: 3-14
	2010
j1		Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an operating-system kernel. Commun. ACM 53(6): 107-115 (2010)
	2009
c5		Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an OS kernel. SOSP 2009: 207-220
c4		Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish: Mind the Gap. TPHOLs 2009: 500-515
	2006
c3		Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty: On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR 2006: 111-126
	2005
c2		Simon Winwood, Manuel M. T. Chakravarty: Secure Untrusted Binaries - Provably!. Formal Aspects in Security and Trust 2005: 171-186
	2003
c1		Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser: Legba: Fast Hardware Support for Fine-Grained Protection. Asia-Pacific Computer Systems Architecture Conference 2003: 320-336

Coauthor Index

Last update Mon May 20 06:07:13 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page