4 citations · 7 across the 2 of their papers we have counts for
2 papers
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.SE2019★ 4 cited
SAVIOR: Towards Bug-Driven Hybrid Testing
Yaohui Chen, Peng Li, Jun Xu +5
Hybrid testing combines fuzz testing and concolic execution. It leverages fuzz testing to test easy-to-reach code regions and uses concolic execution to explore code blocks guarded…