Accepted IEEE TETCSI special issue paper

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.

Accepted OOPSLA/SPLASH 2023 paper

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.

Leaving Arm, and a new job at AWS

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.

New technical report on the Icecap and Veracruz projects

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.

Accepted OSCAR 2022 workshop paper

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.

Accepted PriSC 2022 workshop paper

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.