Publicações

You have no permission to see this content: profileOfResearchers/view

Please sign in.

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

AuthID
P-019-39Q

Author(s)

Almeida, JB

Alves, GXDM

Barbosa, M

Barthe, G

Esquível, L

Hwang, V

Oliveira, T

Pacheco, H

Schwabe, P

Strub, PY

Editor(es)

Blanton,M;Enck,W;Nita Rotaru,C

Tipo de Documento

Proceedings Paper

Year published

2025

Publicado

in 2025 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP in IEEE Symposium on Security and Privacy, ISSN: 1081-6011

Páginas: 3820-3838 (19)

Conference

2025 Symposium on Security and Privacy-Sp, Date: MAY 12-15, 2025, Location: San Francisco, CA

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/1346871

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/sp61157.2025.00214

DBLP: conf/sp/AlmeidaABBEH00S25

SCOPUS: 2-s2.0-105009319071

Wos: WOS:001540716400207

Source Identifiers

ISSN: 1081-6011

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

You have no permission to see this content: profileOfResearchers/view

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

You have no permission to see this content: profileOfResearchers/view

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

Links Úteis

Ajuda