Please use this identifier to cite or link to this item:
http://repositorio.inesctec.pt/handle/123456789/4738| Title: | A Fast and Verified Software Stack for Secure Function Evaluation |
| Authors: | José Bacelar Almeida Manuel Barbosa Barthe,G Dupressoir,F Grégoire,B Laporte,V Vítor Parreira Pereira |
| Issue Date: | 2017 |
| Abstract: | |
| URI: | http://repositorio.inesctec.pt/handle/123456789/4738 http://dx.doi.org/10.1145/3133956.3134017 |
| metadata.dc.type: | conferenceObject Publication |
| Appears in Collections: | HASLab - Articles in International Conferences |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| P-00N-528.pdf | 919.25 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.