Xaver Fabian und Marco Patrignani - Info zur Person

(1 - 9 von 10

)

News

cms.cispa.saarland

Speaker: Xaver Fabian Type of talk: Master Intro Advisor: Prof. Jan Reineke und Dr. Marco Patrignani Title: Detecting (more) Spectre vulnerabilities. Abstract: Speculative Execution is an optimization technique of processors that gives a significant speed-up by

Automatic Detection of Speculative Execution CombinationsarXiv

arxiv.org

von X Fabian · · Zitiert von: 3 — Automatic Detection of Speculative Execution Combinations. Authors:Xaver Fabian, Marco Guarnieri, Marco Patrignani · Download PDF. Abstract: ...

Dagstuhl Reports, Volume 11, Issue 10, November 2021Dagstuhl

drops.dagstuhl.de

von M Gerndt · — Joint work of Marco Patrignani, Marco Guarnieri, Xaver Fabian, Matthis Kruse. Main reference Marco Guarnieri, Marco Patrignani: “Exorcising Spectres with ...

Secure CompilationNebelwelt.net

nebelwelt.net

von D Chisnall — Joint work of Marco Patrignani, Marco Guarnieri, Xaver Fabian, Matthis Kruse. Main reference Marco Guarnieri, Marco Patrignani: “Exorcising Spectres with ...

Marco GuarnieriDBLP

dblp.org

Xaver Fabian, Marco Guarnieri, Marco Patrignani : Automatic Detection of Speculative Execution Combinations. CCS 2022: text to speech.

ACM CCS 2022Sigsac.org

www.sigsac.org

Xaver Fabian, Marco Patrignani, Marco Guarnieri. Zapper: Smart Contracts with Data and Identity Privacy. Samuel Steffen, Benjamin Bichsel, Martin Vechev.