3 citations · 8 across the 3 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
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.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…