My research is focused on the problem of how to build highly secure computing systems cost-effectively. As part of this, I lead Data61's work on proving computer software and systems secure, and am leading or otherwise involved in a number of projects as part of Data61's Trustworthy Systems activity, as detailed on my Data61 page. Below are listed my current active areas of research and collaboration. My interest in security, and belief about the best ways to build secure systems more effectively, is very broad. Thus I tend to collaborate across various disciplines including Software Engineering, Systems, Hardware Security, Formal Methods, Programming Languages and Human Factors.