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.

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 Sat Aug 23 04:35:03 2025 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.