3 papers
cs.CR2018
Formally Verified Hardware/Software Co-Design for Remote Attestation
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon +2
In this work, we take the first step towards formal verification of Remote Attestation (RA) by designing and verifying an architecture called VRASED: Verifiable Remote Attestation…
cs.CR2018
S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX
Fritz Alder, N. Asokan, Arseny Kurnikov +2
Function-as-a-Service (FaaS) is a recent and already very popular paradigm in cloud computing. The function provider need only specify the function to be run, usually in a high-lev…
cs.CR2018
Private Data Objects: an Overview
Mic Bowman, Andrea Miele, Michael Steiner +1
We present Private Data Objects (PDOs), a technology that enables mutually untrusted parties to run smart contracts over private data. PDOs result from the integration of a distrib…