Santiago Arranz Olmos -

Registered user since Fri 5 Sep 2025

Name:Santiago Arranz Olmos

Affiliation:Max Planck Institute for Security and Privacy

Personal website: https://sarranz.github.io

Contributions

2026

SPLASH

Author of Decompiling for Constant-Time Analysis within the OOPSLA-track
Author of (Dis)Proving Spectre Security with Speculation-Passing Style within the OOPSLA-track

PriSC

2025

PriSC

Author of Preservation of Speculative Constant-time by Compilation within the PriSC 2025-track

POPL

Author of Preservation of speculative constant-time by compilation within the POPL-track