Confidential Computing - a brave new world. - Dominic P. Mulligan; Gustavo Petri; Nick Spinale; Gareth Stockwell; Hugo J. M. Vincent (SEED, 2021)

The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code). - Dominic P. Mulligan; Nick Spinale (CoRR, 2022)

Private Delegated Computations Using Strong Isolation. - Mathias Brossard; Guilhem Bryant; Basma El Gaabouri; Xinxin Fan; Alexandre Ferreira; Edmund Grimley-Evans; Christopher Haster; Evan Johnson 001; Derek Miller; Fan Mo; Dominic P. Mulligan; Nick Spinale; et al. (IEEE Trans. Emerg. Top. Comput., 2024)