10.1145/nnnnnnn.nnnnnnnACM Transactions on Software Engineering and Methodologyabs/1909.006473United State
Cache side-channel attacks exhibit severe threats to software security and privacy, especially for c...
The recent Spectre attacks has demonstrated the fundamental insecurity of current computer microarch...
Abstract. Trigger-based code (malicious in many cases, but not nec-essarily) only executes when spec...
Cache attacks allow attackers to infer the properties of a secret execution by observing cache hits ...
Spectre attacks exploit speculative execution to leak sensitive information. In the last few years, ...
The Spectre attacks exploit the speculative execution vulnerabilities to exfiltrate private informat...
Research Artifact of USENIX Security 2023 Paper: CacheQL: Quantifying and Localizing Cache Side-Chan...
Modern processors use architecture like caches, branch predictors, and speculative execution in orde...
Practical information-flow programming languages commonly allow controlled leakage via a declassify ...
KLEE is a popular dynamic symbolic execution engine, initially designed at Stanford University and n...
Noninterference, a strong security property for a computation process, informally says that the proc...
The disclosure of the Spectre speculative-execution attacks in January 2018 has left a severe vulner...
Covert channels are a fundamental concept for cryptanalytic side-channel attacks. Covert timing chan...
This thesis contributes to the field of language-based information flow analysis with a focus on det...
Today, nearly all modern devices, including smartphones, PCs, and cloud servers, benefit significant...
Cache side-channel attacks exhibit severe threats to software security and privacy, especially for c...
The recent Spectre attacks has demonstrated the fundamental insecurity of current computer microarch...
Abstract. Trigger-based code (malicious in many cases, but not nec-essarily) only executes when spec...
Cache attacks allow attackers to infer the properties of a secret execution by observing cache hits ...
Spectre attacks exploit speculative execution to leak sensitive information. In the last few years, ...
The Spectre attacks exploit the speculative execution vulnerabilities to exfiltrate private informat...
Research Artifact of USENIX Security 2023 Paper: CacheQL: Quantifying and Localizing Cache Side-Chan...
Modern processors use architecture like caches, branch predictors, and speculative execution in orde...
Practical information-flow programming languages commonly allow controlled leakage via a declassify ...
KLEE is a popular dynamic symbolic execution engine, initially designed at Stanford University and n...
Noninterference, a strong security property for a computation process, informally says that the proc...
The disclosure of the Spectre speculative-execution attacks in January 2018 has left a severe vulner...
Covert channels are a fundamental concept for cryptanalytic side-channel attacks. Covert timing chan...
This thesis contributes to the field of language-based information flow analysis with a focus on det...
Today, nearly all modern devices, including smartphones, PCs, and cloud servers, benefit significant...
Cache side-channel attacks exhibit severe threats to software security and privacy, especially for c...
The recent Spectre attacks has demonstrated the fundamental insecurity of current computer microarch...
Abstract. Trigger-based code (malicious in many cases, but not nec-essarily) only executes when spec...
DOI
Add to ORKG