STOVE: Strict, Observable, Verifiable Data and Execution Models for Untrusted Applications | IEEE Conference Publication | IEEE Xplore