Cryptographically Assured Information Flow: Assured Remote Execution. - Scott L. Dyer; Christian A. Femrite; Joshua D. Guttman; Julian P. Lanson; Moses D. Liskov (CoRR, 2024)