TU Darmstadt / ULB / TUbiblio

On compiling Boolean circuits optimized for secure multi-party computation

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

Item Type: Article
Erschienen: 2017
Creators: Büscher, Niklas and Franz, Martin and Holzer, Andreas and Veith, Helmut and Katzenbeisser, Stefan
Title: On compiling Boolean circuits optimized for secure multi-party computation
Language: English
Journal or Publication Title: Formal Methods in System Design
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

Optionen (nur für Redakteure)

View Item View Item