Publications

A Fast and Verified Software Stack for Secure Function Evaluation

AuthID
P-00N-528

Author(s)

Almeida, JB

Barbosa, M

Barthe, G

Dupressoir, F

Gregoire, B

Laporte, V

Pereira, V

Editor(s)

Thuraisingham,BM;Evans,D;Malkin,T;Xu,D

Document Type

Proceedings Paper

Year published

2017

Published

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

Volume: Part F131467, Pages: 1989-2006 (18)

Conference

24Th Acm-Sigsac Conference on Computer and Communications Security (Acm Ccs), Date: OCT 30-NOV 03, 2017, Location: Dallas, TX, Sponsors: ACM SIGSAC, Assoc Comp Machinery, AT & T Business, Baidu, NSF, CISCO, Internet Finance Authenticat Alliance, Samsung, Univ Texas Dallas, Google, IBM Res, Paloalto Networks, Visa Res, Army Res Off, Nasher Sculpture Ctr

Indexing