TU Darmstadt / ULB / TUbiblio

On compiling Boolean circuits optimized for secure multi-party computation

Büscher, Niklas ; Franz, Martin ; Holzer, Andreas ; Veith, Helmut ; Katzenbeisser, Stefan (2017):
On compiling Boolean circuits optimized for secure multi-party computation.
In: Formal Methods in System Design, 51 (2), pp. 308-331. DOI: 10.1007/s10703-017-0300-0,
[Article]

Item Type: Article
Erschienen: 2017
Creators: Büscher, Niklas ; Franz, Martin ; Holzer, Andreas ; Veith, Helmut ; Katzenbeisser, Stefan
Title: On compiling Boolean circuits optimized for secure multi-party computation
Language: English
Journal or Publication Title: Formal Methods in System Design
Journal volume: 51
Number: 2
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Security Engineering
Date Deposited: 01 Nov 2018 10:06
DOI: 10.1007/s10703-017-0300-0
Official URL: https://doi.org/10.1007/s10703-017-0300-0
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details