I am delighted to announce that the paper “A verification methodology for the Arm Confidential Computing Architecture” co-written with Anthony Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Nathan Chong, and Gustavo Petri has now been accepted for publication at OOPSLA/SPLASH 2023.

I have now left Arm Research and will be taking up a position as a Principal Applied Scientist within the Automated Reasoning Group at AWS.

I am delighted to announce the recent publication of the Arm Trustworthy AI position paper, a documented which I contributed to. You can read the whitepaper here.

I am delighted to announce the recent release of an Arm Research technical report on the IceCap and Veracruz confidential-computing projects. The report, “Private delegated computations using strong isolation”, is co-authored by Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Nick Spinale, Eric van Hensbergen, Hugo J. M. Vincent, Shale Xiong, and me.

I’m delighted to announce that the abstract, “Scalable assurance via verifiable hardware-software contracts”, has been accepted for presentation at the Workshop on Open-source Computer Architecture Research (OSCAR 2022), co-located with ISCA. This was co-written with Yao Hsiao, Gustavo Petri, Nikos Nikoleris, and Caroline Trippel, with Yao presenting this work at the workshop.

I am pleased to announce that electronic copies of all of my papers have now been moved over from my old website and can be found under “Publications”.

I’m delighted to announce that “The Supervisionary proof-checking kernel, or: a work-in-progress towards proof-generating code”, which I co-authored with Nick Spinale, has been accepted for presentation at the workshop on Principles of Secure Compilation (PriSC 2022), co-located with POPL.

I am honoured to have been invited to serve on the Open Confidential Computing Conference (OC3 2021) programme committee. Please, consider submitting a talk proposal! Derek Miller, from the Veracruz project, presented a talk at last year’s OC3 event which had a great mix of interesting talks and was very well attended.

I am please to announce that the paper “A highly-available move operation for replicated trees” has now been accepted for publication at IEEE Transactions on Parallel and Distributed Systems (TPDS). This is joint work with Martin Kleppmann, Victor Gomes, and Alastair Beresford.

I’d like to thank Prof. Kevin Butler for inviting me to give a keynote talk at the Technical Demo Conference within the Florida Institute for Cybersecurity Research (FICS) at the University of Florida. My slides for the talk—Confidential Computing: Brave New World— are available here in Microsoft PowerPoint format.