1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2022★ 1 cited
STELLA: Sparse Taint Analysis for Enclave Leakage Detection
Yang Chen, Jianfeng Jiang, Shoumeng Yan +1
Intel SGX (Software Guard Extension) is a promising TEE (trusted execution environment) technique that can protect programs running in user space from being maliciously accessed by…
cs.SE2021
RULF: Rust Library Fuzzing via API Dependency Graph Traversal
Jianfeng Jiang, Hui Xu, Yangfan Zhou
Robustness is a key concern for Rust library development because Rust promises no risks of undefined behaviors if developers use safe APIs only. Fuzzing is a practical approach for…