JAZZLINE: Composable Cryptoline Functional Correctness Proofs for Jasmin Programs

AuthID
P-01B-2SH
13
Author(s)
Barthe, G
·
Blatter, L
·
Delerue, G
·
Duarte, JD
·
Gregoire, B
·
Oliveira, T
·
Quaresma, M
·
Strub, PY
·
Tsai, MH
·
Wang, BY
·
Yang, BY
Document Type
Proceedings Paper
Year published
2025
Published
in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025
Pages: 1409-1423 (15)
Conference
32Nd Conference on Computer and Communications Security-Ccs, Date: OCT 13-17, 2025, Location: Taipei, TAIWAN
Indexing
Publication Identifiers
Dblp: conf/ccs/AlmeidaBBBADG0Q25
Wos: WOS:001657120200097
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.