I'm an (ex)PhD student at UNSW working on fine-grained memory access control. I have also done some work with Gelato on Linux's virtual memory system. I now work with OK Labs
I worked on a GuardedPageTable implementation for Linux using the PageTableInterface being developed locally. PaulDavies is now looking after this work. If you have any questions please ask Paul or myself.
Email: <awiggins AT cse DOT unsw DOT edu DOT au>