José Carlos Bacelar Ferreira Junqueira de Almeida
AuthID: R-000-85N
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: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in 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: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
