‪Xaver Fabian‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	21	21
h-index	1	1
i10-index	1	1

0

14

7

2023202413 7

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Marco PatrignaniAssistant Professor at University of TrentoVerified email at unitn.it
Marco GuarnieriAssistant Research Professor, IMDEA Software InstituteVerified email at imdea.org

Xaver Fabian

Xaver Fabian

PhD Student

Verified email at cispa.de - Homepage

Secure Compilation Type Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic detection of speculative execution combinations X Fabian, M Guarnieri, M Patrignani Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022	21	2022
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks X Fabian, M Patrignani, M Guarnieri, M Backes arXiv preprint arXiv:2405.10089, 2024		2024
Formal Verification of Spectres Combination X Fabian, K Chan, M Patrignani CISPA, 2021		2021
Formal Verification of Combined Spectre Attacks X Fabian, K Chan, M Guarnieri, M Patrignani

The system can't perform the operation now. Try again later.

Articles 1–4