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 :
On compiling Boolean circuits optimized for secure multi-party computation.
[Online-Edition: https://doi.org/10.1007/s10703-017-0300-0]
In: Formal Methods in System Design, 51 (2) pp. 308-331.
[Article] , (2017)

Official URL: https://doi.org/10.1007/s10703-017-0300-0
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: Department of Computer Science
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:

Optionen (nur für Redakteure)

View Item View Item