Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in Easycrypt

AuthID
P-019-39Q
10
Author(s)
Alves, GXDM
·
Barthe, G
·
Esquível, L
·
Hwang, V
·
Oliveira, T
·
Schwabe, P
·
Strub, PY
3
Editor(s)
Blanton,M;Enck,W;Nita Rotaru,C
Document Type
Proceedings Paper
Year published
2025
Published
in 2025 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP in IEEE Symposium on Security and Privacy, ISSN: 1081-6011
Pages: 3820-3838 (19)
Conference
2025 Symposium on Security and Privacy-Sp, Date: MAY 12-15, 2025, Location: San Francisco, CA
Indexing
Publication Identifiers
Dblp: conf/sp/AlmeidaABBEH00S25
Scopus: 2-s2.0-105009319071
Wos: WOS:001540716400207
Source Identifiers
ISSN: 1081-6011
Export Publication Metadata
Marked List
Citations
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.



CORE Conference
No information about CORE Rank

During the preprocessing phase, only publications of type 'Proceedings Paper' or 'Proceedings' are automatically processed to identify their CORE Rank.

TIP: If your publication's CORE Rank is missing, you can contact with your institutional manager to have the correct ranking manually added to the record.

Journal Factors
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.

Info
At this moment we don't have any links to full text documens.