Comment by jssmith

Yes, but it is more restrictive, e.g., it is not Turing complete. I’m not sure whether this directly addresses Spectre risks though.

An analysis of Spectre and software isolation is here:

https://arxiv.org/abs/1902.05178