HasTEE: Programming Trusted Execution Environments with Haskell.

Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen

Browse the full HASKELL paper archive.