Sign In
Get Clay Free →

Suggestions

    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