Xaver Fabian

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Inference & Quantization (1)

Frequent co-authors

Marco Guarnieri (1)Boris Köpf (1)Jose F. Morales (1)Marco Patrignani (1)

Papers (1)

Mar 31, 2026

Xaver Fabian +61d ago

Detecting speculative leaks with compositional semantics

Formalizing speculative execution vulnerabilities with compositional semantics allows for automated detection and verification, moving beyond ad-hoc countermeasures.

Xaver Fabian, Marco Guarnieri, Boris Köpf +4

Architecture Design (Transformers, SSMs, MoE)Inference & Quantization

Search

Xaver Fabian

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)