Xaver Fabian
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks | POPL 2025 | 2025-01-19 |
Paper introduces a lifting framework that upgrades compiler guarantees proved for weaker speculative semantics to stronger ones without redoing full secure… | ||
| Lifting Compiler Security Properties to Stronger Attackers: the Speculation Cas... | PriSC 2024 | 2024-01-20 |
A formal framework proves when a compiler countermeasure for Spectre-style leaks preserves security against stronger attacker models by modelling speculative… | ||
| nothing matches | ||