Ccs25 - Artifact for "Jazzline: Composable Cryptoline Functional Correctness Proofs for Jasmin Programs"

AuthID
P-01A-D5P
13
Author(s)
Barthe, G
·
Blatter, L
·
Marinho Alves, GXD
·
Grégoire, B
·
Quaresma, M
·
Strub, PY
·
Tsai, MH
·
Wang, BY
·
Yang, BY
Tipo de Documento
Data Paper
Year published
2025
Publicado
in Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security
Páginas: 1409-1423 (14)
Indexing
Publication Identifiers
DBLP: data/11/AlmeidaBBBDAGOQSTWY25
SCOPUS: 2-s2.0-105023842262
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.