Nick Spinale

According to our database, Nick Spinale authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Private Delegated Computations Using Strong Isolation.

Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Dominic P. Mulligan, Nick Spinale, Eric Van Hensbergen, Hugo J. M. Vincent, Shale Xiong

IEEE Trans. Emerg. Top. Comput., 2024

2022

The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code).

Dominic P. Mulligan, Nick Spinale

CoRR, 2022

2021

Confidential Computing - a brave new world.

Dominic P. Mulligan, Gustavo Petri, Nick Spinale, Gareth Stockwell, Hugo J. M. Vincent

Proceedings of the 2021 International Symposium on Secure and Private Execution Environment Design (SEED), 2021