SpecuSym: Speculative symbolic execution for cache timing leak detection

S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu… - Proceedings of the ACM …, 2020 - dl.acm.org
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 …
被引用次数：53 相关文章

SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection

S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu… - arXiv preprint arXiv …, 2019 - arxiv.org
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 …

SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection

S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu… - arXiv e …, 2019 - ui.adsabs.harvard.edu
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 …
[PDF] colorado.edu

[PDF][PDF] SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection

S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu, Z Zuo - 2020 - cusecurity.cs.colorado.edu
ABSTRACT CPU cache is a limited but crucial storage component in modern processors,
whereas the cache timing side-channel may inadvertently leak information through the …

SPECUSYM: Speculative Symbolic Execution for Cache Timing Leak Detection

S Guo, Y Chen, P Li, Y Cheng, H Wang… - 2020 IEEE/ACM 42nd …, 2020 - computer.org
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 …

SPECUSYM: Speculative Symbolic Execution for Cache Timing Leak Detection

S Guo, Y Chen, P Li, Y Cheng, H Wang… - 2020 IEEE/ACM …, 2020 - ieeexplore.ieee.org
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 …
[PDF] github.io

[PDF][PDF] SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection

S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu, Z Zuo - 2020 - meng-wu.github.io
ABSTRACT CPU cache is a limited but crucial storage component in modern processors,
whereas the cache timing side-channel may inadvertently leak information through the …