@misc{indiciae66294880d86f,
  title = {Cryptographically Assured Information Flow: Assured Remote Execution},
  author = {Scott L. Dyer and Christian A. Femrite and Joshua D. Guttman and Julian P. Lanson and Moses D. Liskov},
  year = {2024},
  url = {https://arxiv.org/abs/2402.02630},
  note = {Source identifier: 2402.02630}
}