Publications

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(s)

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

Document Type

Proceedings Paper

Year published

2021

Published

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

Pages: 2587-2600 (14)

Conference

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

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/908681

Crossref^®5

Google Scholar^®

Metadata
Sources

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

Marked List

Add to Marked List

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help