Sign In

Nick Spinale

Arm Research

Nick Spinale is a computer security researcher based in Portland, Oregon.1 He previously worked as a Senior Research Engineer at Arm Research from October 2018 to February 2022.1 His interests include operating systems, formal methods, programming languages, and reverse engineering.1

Currently, Spinale focuses on working with seL4, a formally verified microkernel. He is involved in binary verification and developing support for the Rust programming language in the seL4 userspace ecosystem.1 Spinale offers his consulting services through Colias Group, LLC.1

During his time at Arm Research, Spinale started and led the IceCap project, which is a hypervisor with a minimal trusted computing base for virtualization-based confidential computing.1 He is also a contributor to seL4 and the Nix packages collection.1

Spinale holds a degree in Mathematics and Computer Science from Carleton College, where he graduated in 2018.1 He has received several honors, including the David Pollatsek Prize in Computer Science and being named a United States Presidential Scholar.1

Highlights

Jan 1 · nickspinale.com
About - Nick Spinale
Jan 1 · mofanv.github.io
Publications - 莫凡 (Mo, Fan)
Jul 13 · twitter.com
Nick Spinale (@nick_spinale) / X
Nov 4 · einsteinmed.edu
Nikolaos G. Frangogiannis, M.D. | Montefiore Einstein

Related Questions

What are some of Nick Spinale's most notable projects at Arm?
How does Nick Spinale contribute to the seL4 microkernel?
What is the IceCap project that Nick Spinale led at Arm?
Can you explain the significance of Nick Spinale's work on binary verification?
What are the main topics Nick Spinale covers in his talks and presentations?
Nick Spinale
Nick Spinale, photo 1
Nick Spinale, photo 2
Add to my network

Location

Cambridge, United Kingdom