João Diogo Duarte

According to our database, João Diogo Duarte authored at least 5 papers between 2023 and 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

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

2024

X-Wing: The Hybrid KEM You've Been Looking For.

Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan

IACR Cryptol. ePrint Arch., 2024

X-Wing.

Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan

IACR Commun. Cryptol., 2024

2023

On the Complexity and Admissible Parameters of the Crossbred Algorithm in $\mathbb{F}_{q\geq2}$.

João Diogo Duarte

IACR Cryptol. ePrint Arch., 2023