My research interests are in building secure and reliable systems. For further information, please see my personal homepage.