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

AuthID
 P-00R-F7M
2
Author(s)
Eldefrawy, K
·
Document Type
Proceedings Paper
Year published
2019
Published
in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), ISSN: 1543-7221
Pages: 851-868 (18)
Conference
Acm Sigsac Conference on Computer and Communications Security (Ccs), Date: NOV 11-15, 2019, Location: London, ENGLAND, Sponsors: Assoc Comp Machinery, ACM SIGSAC
Indexing
Wos®
Scopus®
Crossref®3
Google Scholar®
Publication Identifiers
Scopus: 2-s2.0-85075923576
Wos: WOS:000509760700052
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.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service