JAZZLINE: Composable Cryptoline Functional Correctness Proofs for Jasmin Programs

AuthID
P-01B-2SH
13
Author(s)
Barthe, G
·
Blatter, L
·
Marinho Alves, GXD
·
Duarte, JD
·
Grégoire, B
·
Oliveira, T
·
Quaresma, M
·
Strub, PY
·
Tsai, MH
·
Wang, BY
·
Yang, BY
Tipo de Documento
Proceedings Paper
Year published
2025
Publicado
in CCS
Páginas: 1409-1423
Indexing
Publication Identifiers
DBLP: conf/ccs/AlmeidaBBBADG0Q25
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.