Nick Spinale

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Inference Control

Top Venues

IEEE Trans. Emerg. Top. Comput.

Publications

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
Private Delegated Computations Using Strong Isolation. IEEE Trans. Emerg. Top. Comput. 12 (1) (2024)
Dominic P. Mulligan, Nick Spinale
The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code). CoRR (2022)
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
Private delegated computations using strong isolation. CoRR (2022)
Dominic P. Mulligan, Gustavo Petri, Nick Spinale, Gareth Stockwell, Hugo J. M. Vincent
Confidential Computing - a brave new world. SEED (2021)