Send email Copy Email Address
PhD Student

Xaver Fabian

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Further Information

Publications by Xaver Fabian

Year 2025

2025-01-22

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks

Conference / Medium

52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page

Year 2022

2022-11-07

Automatic Detection of Speculative Execution Combinations

Conference / Medium

ACM Conference on Computer and Communications Security (CCS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2021

2021-12-07

Formal Verification of Spectres Combination

Conference / Medium

Workshop on Programming Languages and Analysis for Security (PLAS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page