Simon Winwood's Information Page
Simon Winwood
PhD Student
| To update this page please go to myCSE. |
Office: |
L5 NICTA |
Fax: |
+61 2 9385 5995 (Internal: x55995)
|
Email: |
 |
Mail: |
School of Computer Science and Engineering
The University of New South Wales
Sydney 2052, Australia
|
|
| On The Automated Synthesis Of Proof-Carrying Temporal Reference Monitors
S Winwood, G Klein, M Chakravarty, Logic-based program synthesis and transformation, G. Puebla.
Springer Verlag, Heidelberg, D-69121, Germany, Heidelberg, D-69121, Germany, 2007, pp. 111 - 126 |
| Secure Untrusted Binaries---Provably!
S Winwood, M Chakravarty, Formal aspects in security and trust: 3rd international workshop, FAST 2005, T. Dimitrakos, et al..
Springer-Verlag, Germany, 2006, pp. 171 - 186 |
| Legba: Fast Hardware Support For Fine-Grained Protection
A Wiggins, S Winwood, H Tuch, G Heiser, Advances in Computer Systems Architecture, A. Omondi, S. Sedukhim.
Springer - Verlag, Germany, 2003, pp. 320 - 336 |
To update this page please go to myCSE
|
