23 citations · 27 across the 2 of their papers we have counts for
2 papers
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…
cs.CR2017★ 23 cited
Downgrade Attack on TrustZone
Yue Chen, Yulong Zhang, Zhi Wang +1
Security-critical tasks require proper isolation from untrusted software. Chip manufacturers design and include trusted execution environments (TEEs) in their processors to secure…