A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation

AuthID
P-00R-F7M
2
Author(s)
Eldefrawy, K
·
Tipo de Documento
Proceedings Paper
Year published
2019
Publicado
in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), ISSN: 1543-7221
Páginas: 851-868 (18)
Conference
Acm Sigsac Conference on Computer and Communications Security (Ccs), Date: NOV 11-15, 2019, Location: London, ENGLAND, Patrocinadores: Assoc Comp Machinery, ACM SIGSAC
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85075923576
Wos: WOS:000509760700052
Source Identifiers
ISSN: 1543-7221
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.