| |
| 2006 | ||
|---|---|---|
| 3 | EE | Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty: On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR 2006: 111-126 |
| 2005 | ||
| 2 | EE | Simon Winwood, Manuel M. T. Chakravarty: Secure Untrusted Binaries - Provably!. Formal Aspects in Security and Trust 2005: 171-186 |
| 2003 | ||
| 1 | EE | 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 |
| 1 | Manuel M. T. Chakravarty | [2] [3] |
| 2 | Gernot Heiser | [1] |
| 3 | Gerwin Klein | [3] |
| 4 | Harvey Tuch | [1] |
| 5 | Adam Wiggins | [1] |