Items where Author is "Fabian, Xaver"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item (A Paper)

Fabian, Xaver and Guarnieri, Marco and Patrignani, Marco
(2022) Automatic Detection of Speculative Execution Combinations.
In: CCS 2022, 7-11 Nov 2022, Los Angeles, CA, USA.
Conference: CCS ACM Conference on Computer and Communications Security
(In Press)

Fabian, Xaver and Chan, Koby and Patrignani, Marco
(2021) Formal Verification of Spectres Combination.
In: PLAS 2021, 7 Dec 2021, Online.
Conference: PLAS Workshop on Programming Languages and Analysis for Security

This list was generated on Tue Nov 28 17:56:41 2023 CET.