A Fast and Verified Software Stack for Secure Function Evaluation

Thumbnail Image
Files
P-00N-528.pdf (919.25 KB)
Date
2017
Authors
José Bacelar Almeida
Manuel Barbosa
Barthe,G
Dupressoir,F
Grégoire,B
Laporte,V
Vítor Parreira Pereira
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/4738
 http://dx.doi.org/10.1145/3133956.3134017
Collections
HASLab - Indexed Articles in Conferences