research
∙
11/01/2018
Formally Verified Hardware/Software Co-Design for Remote Attestation
In this work, we take the first step towards formal verification of RA b...
share
research
∙
10/14/2018
S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX
Function-as-a-Service (FaaS) is a recent and already very popular paradi...
research
∙
07/16/2018
Private Data Objects: an Overview
We present Private Data Objects (PDOs), a technology that enables mutual...
research
∙
01/17/2018