Gustavo Xavier Delerue Marinho Alves

According to our database, Gustavo Xavier Delerue Marinho Alves authored at least 3 papers in 2025.

Collaborative distances:

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

2025

CCS25 - Artifact for "Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs".

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, João Diogo Duarte, Gustavo Xavier Delerue Marinho Alves, Benjamin Grégoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Dataset, July, 2025

Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt.

José Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe, Luís Esquível, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub

Proceedings of the IEEE Symposium on Security and Privacy, 2025

Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Xavier Delerue Marinho Alves, João Diogo Duarte, Benjamin Grégoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025