Publicações

Machine-Checked Zkp for Np Relations: Formally Verified Security Proofs and Implementations of Mpc-In-The-Head

AuthID
P-00V-QC9

Author(s)

Almeida, JB

Barbosa, M

Correia, ML

Eldefrawy, K

Graham-Lengrand, S

Pacheco, H

Pereira, V

Editor(es)

Kim,Y;Kim,J;Vigna,G;Shi,E

Tipo de Documento

Proceedings Paper

Year published

2021

Publicado

in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY in CCS, ISSN: 1543-7221

Páginas: 2587-2600 (14)

Conference

Acm Sigsac Conference on Computer and Communications Security (Acm Ccs), Date: NOV 15-19, 2021, Location: ELECTR NETWORK, Patrocinadores: ACM SIGSAC, Assoc Comp Machinery

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/908681

Crossref^®5

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/3460120.3484771

DBLP: conf/ccs/AlmeidaBCEG0P21

SCOPUS: 2-s2.0-85119368859

Wos: WOS:000768478302058

Source Identifiers

ISSN: 1543-7221

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Machine-Checked Zkp for Np Relations: Formally Verified Security Proofs and Implementations of Mpc-In-The-Head

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Machine-Checked Zkp for Np Relations: Formally Verified Security Proofs and Implementations of Mpc-In-The-Head

Links Úteis

Ajuda