I am delighted to announce that the paper Private delegated computations using strong isolation has been accepted into a special issue on advances in emerging privacy-preserving computation at IEEE Transactions on Emerging Topics in Computer Science (TETCSI). The paper was coauthored with 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, and Shale Xiong.
I am delighted to announce that the paper All watched over by machines of loving grace, describing the Supervisionary proof-checking system for HOL, has been accepted in the post-proceedings of TYPES 2022.
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.
The PDF of the final version of the paper is here.
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.