HasTEE: Programming Trusted Execution Environments with Haskell

Explore a 27-minute conference talk from Haskell 2023 that introduces HasTEE, a domain-specific language embedded in Haskell for programming Trusted Execution Environments (TEEs). Learn how HasTEE addresses the challenges of TEE adoption by leveraging Haskell's type system to automatically partition applications and enforce Information Flow Control on confidential data. Discover the benefits of using higher-order functions, monads, and a restricted set of I/O operations to write standard Haskell applications for TEEs. Gain insights into the lightweight and simple implementation of HasTEE as a security library, avoiding modifications to GHC. Examine case studies demonstrating HasTEE's applicability in federated learning, encrypted password wallets, and differentially-private data clean rooms. Understand how HasTEE contributes to programming Intel SGX and ARM TrustZone environments, offering a more secure and efficient approach to developing security-critical applications in cloud and IoT contexts.

[Haskell'23] HasTEE: Programming Trusted Execution Environments with Haskell