Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen. HasTEE: Programming Trusted Execution Environments with Haskell. In Trevor L. McDonell, Niki Vazou, editors, Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023. pages 72-88, ACM, 2023. [doi]
@inproceedings{SarkarKRC23,
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://doi.org/10.1145/3609026.3609731},
researchr = {https://researchr.org/publication/SarkarKRC23},
cites = {0},
citedby = {0},
pages = {72-88},
booktitle = {Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
editor = {Trevor L. McDonell and Niki Vazou},
publisher = {ACM},
}