research
∙
06/25/2023
Enabling Lightweight Privilege Separation in Applications with MicroGuards
Application compartmentalization and privilege separation are our primar...
share
research
∙
03/08/2023
A Case for Planetary Computing
We make a case for planetary computing: accessible, interoperable and ex...
research
∙
01/19/2022
Enhancing the Security Privacy of Wearable Brain-Computer Interfaces
Brain computing interfaces (BCI) are used in a plethora of safety/privac...
research
∙
08/12/2021
How Computer Science Can Aid Forest Restoration
The world faces two interlinked crises: climate change and loss of biodi...
research
∙
04/01/2021
Retrofitting Effect Handlers onto OCaml
Effect handlers have been gathering momentum as a mechanism for modular ...
research
∙
09/03/2020
Enclave-Aware Compartmentalization and Secure Sharing with Sirius
Hardware-assisted trusted execution environments (TEEs) are critical bui...
research
∙
04/24/2020
Retrofitting Parallelism onto OCaml
OCaml is an industrial-strength, multi-paradigm programming language, wi...
research
∙
04/09/2020
μTiles: Efficient Intra-Process Privilege Enforcement of Memory Regions
With the alarming rate of security advisories and privacy concerns on co...
research
∙
05/07/2019
Programming Unikernels in the Large via Functor Driven Development
Compiling applications as unikernels allows them to be tailored to diver...
research
∙
02/25/2019