HasTEE: Programming Trusted Execution Environments with Haskell

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]

Authors

Abhiroop Sarkar

This author has not been identified. Look up 'Abhiroop Sarkar' in Google

Robert Krook

This author has not been identified. Look up 'Robert Krook' in Google

Alejandro Russo

This author has not been identified. Look up 'Alejandro Russo' in Google

Koen Claessen

This author has not been identified. It may be one of the following persons: Look up 'Koen Claessen' in Google