3 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.CR2020★ 2 cited
Towards Memory Safe Python Enclave for Security Sensitive Computation
Huibo Wang, Mingshen Sun, Qian Feng +3
Intel SGX Guard eXtensions (SGX), a hardware-supported trusted execution environment (TEE), is designed to protect security-sensitive applications. However, since enclave applicati…
cs.SE2020★ 3 cited
Building and Maintaining a Third-Party Library Supply Chain for Productive and Secure SGX Enclave Development
Pei Wang, Yu Ding, Mingshen Sun +5
The big data industry is facing new challenges as concerns about privacy leakage soar. One of the remedies to privacy breach incidents is to encapsulate computations over sensitive…
cs.CR2019★ 3 cited
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection
Shengjian Guo, Yueqi Chen, Peng Li +4
CPU cache is a limited but crucial storage component in modern processors, whereas the cache timing side-channel may inadvertently leak information through the physically measurabl…