Santiago Arranz-Olmos

According to our database, Santiago Arranz-Olmos authored at least 11 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

(Dis)Proving Spectre Security with Speculation-Passing Style.

Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Xingyu Xie, Zhiyuan Zhang

CoRR, October, 2025

Transparent Decompilation for Timing Side-Channel Analyses.

Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Sören van der Wall, Zhiyuan Zhang

CoRR, January, 2025

Protecting cryptographic code against Spectre-RSB.

Santiago Arranz-Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang

Dataset, January, 2025

Protecting cryptographic code against Spectre-RSB.

Santiago Arranz-Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang

Dataset, January, 2025

Preservation of Speculative Constant-Time by Compilation.

Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Benjamin Grégoire, Vincent Laporte

Proc. ACM Program. Lang., 2025

Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code.

Santiago Arranz-Olmos, Gilles Barthe, Benjamin Grégoire, Jan Jancar, Vincent Laporte, Tiago Oliveira, Peter Schwabe

IACR Cryptol. ePrint Arch., 2025

Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants).

Santiago Arranz-Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

Protecting cryptographic code against Spectre-RSB.

Santiago Arranz-Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang

IACR Cryptol. ePrint Arch., 2024

Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt.

José Bacelar Almeida, Santiago Arranz-Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

2023

High-assurance zeroization.

Santiago Arranz-Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe

IACR Cryptol. ePrint Arch., 2023

2020

A formalisation of LEGv8 in Agda.

Santiago Arranz-Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020