Michael Steiner | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

N. Asokan
41 publications
Gene Tsudik
23 publications
Andrew Paverd
14 publications
Norrathep Rattanavipanon
11 publications
Mona Vij
7 publications
Karim Eldefrawy
6 publications
Mic Bowman
5 publications
Somnath Chakrabarti
3 publications
Fritz Alder
3 publications
Arseny Kurnikov
3 publications
Li Lei
2 publications

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...

0 Karim Eldefrawy, et al. ∙

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...

0 Fritz Alder, et al. ∙

research

∙ 07/16/2018

Private Data Objects: an Overview

We present Private Data Objects (PDOs), a technology that enables mutual...

0 Mic Bowman, et al. ∙

research

∙ 01/17/2018

Integrating Remote Attestation with Transport Layer Security

Intel(R) Software Guard Extensions (Intel(R) SGX) is a promising technol...

0 Thomas Knauth, et al. ∙