Pinghai Yuan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Abhik Roychoudhury
24 publications
Prateek Saxena
24 publications
Shweta Shinde
17 publications
Aquinas Hobor
9 publications
Shengyi Wang
5 publications
Jinhua Cui
3 publications
Satyaki Sen
2 publications

research

∙ 03/29/2021

Dynamic Binary Translation for SGX Enclaves

Enclaves, such as those enabled by Intel SGX, offer a hardware primitive...

0 Jinhua Cui, et al. ∙

research

∙ 09/02/2020

Binary Compatibility For SGX Enclaves

Enclaves, such as those enabled by Intel SGX, offer a powerful hardware ...

0 Shweta Shinde, et al. ∙

research

∙ 07/02/2018

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves

New trusted computing primitives such as Intel SGX have shown the feasib...

0 Shweta Shinde, et al. ∙