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
Document Type
Data Paper
Year published
2025
Published
in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
Pages: 1409-1423
Conference
32Nd Acm Sigsac Conference on Computer and Communications Security, Ccs 2025, Date: 2025-10-13 through 2025-10-17, Location: Taipei
Indexing
Publication Identifiers
Dblp: data/11/AlmeidaBBBDAGOQSTWY25
Scopus: 2-s2.0-105023842262
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.