Small trusted primitives for dependable systems | ACM SIGOPS Operating Systems Review | DeepDyve