|
Search the dblp DataBase
Simon Winwood:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser
Legba: Fast Hardware Support for Fine-Grained Protection. [Citation Graph (0, 0)][DBLP] Asia-Pacific Computer Systems Architecture Conference, 2003, pp:320-336 [Conf]
- Simon Winwood, Manuel M. T. Chakravarty
Secure Untrusted Binaries - Provably!. [Citation Graph (0, 0)][DBLP] Formal Aspects in Security and Trust, 2005, pp:171-186 [Conf]
- Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. [Citation Graph (0, 0)][DBLP] LOPSTR, 2006, pp:111-126 [Conf]
seL4: formal verification of an OS kernel. [Citation Graph (, )][DBLP]
Mind the Gap. [Citation Graph (, )][DBLP]
seL4: formal verification of an operating-system kernel. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|