14 citations · 21 across the 3 of their papers we have counts for
3 papers
SecV: Secure Code Partitioning via Multi-Language Secure Values
Peterson Yuhala, Pascal Felber, Hugo Guiroux +4
Trusted execution environments like Intel SGX provide \emph{enclaves}, which offer strong security guarantees for applications. Running entire applications inside enclaves is possi…
Montsalvat: Partitioning Java Applications to Minimize the TCB in Intel SGX
Peterson Yuhala, Jämes Ménétrey, Pascal Felber +5
The popularity of the Java programming language has led to its wide adoption in cloud computing infrastructures. However, Java applications running in untrusted clouds are vulnerab…
A Reachability Index for Recursive Label-Concatenated Graph Queries
Chao Zhang, Angela Bonifati, Hugo Kapp +2
Reachability queries checking the existence of a path from a source node to a target node are fundamental operators for querying and processing graph data. Current approaches for i…