Product
Help
Pricing
About
Jobs
Log in
Get started
Award
Add to collection
101020415
Funder:
European Commission
Funded outputs count:
18
Funder award ID:
101020415
OpenAlex ID:
G5838856463
Detecting speculative leaks with compositional semantics
2026
·
Fabian, Xaver
, Guarnieri, Marco
, et al.
·
arXiv (Cornell University)
PDF
WiP: Flush-based Cache Attacks on Modern / Multi-Socket x86 systems
2026
·
Guillaume DIDIER
, Augustin Lucas
, et al.
·
Proceedings of the Microarchitecture Security Conference
PDF
Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts
2025
·
Geier, Gideon
, Hajipour, Pariya
, et al.
·
arXiv (Cornell University)
PDF
Flush-based Cache Attacks on Modern / Multi-Socket x86 Systems
2025
·
Didier, Guillaume
, Rokicki, Thomas
, et al.
·
HAL (Le Centre pour la Communication Scientifique Directe)
PDF
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
2024
·
Gideon Mohr
, Marco Guarnieri
, et al.
·
5
PDF
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
2023
·
Zilong Wang
, Gideon Mohr
, et al.
·
ACM SIGSAC Conference on Computer and Communications Security (CCS)
·
31
PDF
Type-Aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms
2022
·
Ching-Chi Lin
, Junjie Shi
, et al.
·
IEEE Transactions on Computers
·
17
PDF
uiCA
2022
·
Andreas Abel
, Jan Reineke
·
ACM International Conference on Supercomputing (ICS)
·
27
PDF
Warping cache simulation of polyhedral programs
2022
·
Canberk Morelli
, Jan Reineke
·
4
PDF
Warping Cache Simulation of Polyhedral Programs
2022
·
Morelli, Canberk
, Reineke, Jan
·
arXiv (Cornell University)
·
1
PDF
Show more works
View as search
Year
Topic