Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

Formal Verifiation of Combined Spectre Attacks

Xaver Fabian, Koby Chan, Marco Guarnieri, Marco Patrignani

PLAS'21, 2021

Automatic Detection of Speculative Execution Combinations (Distinguished Paper Award)

Xaver Fabian, Marco Guarnieri, Marco Patrignani

CCS'22, 2022

Lifting Compiler Security Properties to Stronger Attackers: the Speculation Case

Xaver Fabian, Marco Guarnieri, Michael Backes

PriSC'24, 2024

Talk 1 on Relevant Topic in Your Field

Published: March 01, 2012

This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!

Tutorial 1 on Relevant Topic in Your Field

Published: March 01, 2013

More information here

Talk 2 on Relevant Topic in Your Field

Published: February 01, 2014

More information here

Conference Proceeding talk 3 on Relevant Topic in Your Field

Published: March 01, 2014

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.