@misc{indiciae416de9e65f07,
  title = {HasTEE: Programming Trusted Execution Environments with Haskell},
  author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
  year = {2023},
  doi = {10.1145/3609026.3609731},
  url = {https://arxiv.org/abs/2307.13172},
  note = {Source identifier: 2307.13172}
}