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]
Abstract is missing.