research
∙
07/24/2023
HasTEE: Programming Trusted Execution Environments with Haskell
Trusted Execution Environments (TEEs) are hardware-enforced memory isola...
share
research
∙
08/29/2022
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow
This tutorial provides a complete and homogeneous account of the latest ...
research
∙
09/10/2019
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Differential privacy offers a formal framework for reasoning about priva...
research
∙
08/04/2018
Branching Processes for QuickCheck Generators
In QuickCheck (or, more generally, random testing), it is challenging to...
research
∙
08/29/2017