João Diogo de Faria Miranda Uarte
AuthID: R-00M-146
1
TÃTULO: CCS25 - Artifact for "Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs"
AUTORES: 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;
PUBLICAÇÃO: 2025, FONTE: Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security
AUTORES: 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;
PUBLICAÇÃO: 2025, FONTE: Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security
2
TÃTULO: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTORES: Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles; Blatter, Lionel; Delerue, Gustavo; Duarte, Joao Diogo; Gregoire, Benjamin; Oliveira, Tiago; Quaresma, Miguel; Strub, Pierre Yves; Tsai, Ming Hsien; Wang, Bow Yaw; Yang, Bo Yin;
PUBLICAÇÃO: 2025, FONTE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025
AUTORES: Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles; Blatter, Lionel; Delerue, Gustavo; Duarte, Joao Diogo; Gregoire, Benjamin; Oliveira, Tiago; Quaresma, Miguel; Strub, Pierre Yves; Tsai, Ming Hsien; Wang, Bow Yaw; Yang, Bo Yin;
PUBLICAÇÃO: 2025, FONTE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025
INDEXADO EM: 
WOS 
DBLP
WOS DBLP NO MEU: DBLP
DBLP3
TÃTULO: X-Wing: The Hybrid KEM You've Been Looking For
AUTORES: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLICAÇÃO: 2024, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2024
AUTORES: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLICAÇÃO: 2024, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2024
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP4
TÃTULO: On the Complexity and Admissible Parameters of the Crossbred Algorithm in $\mathbb{F}_{q\geq2}$
AUTORES: João Diogo Duarte;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
AUTORES: João Diogo Duarte;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP