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 :
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) S. 308-331.
[Artikel] , (2017)

Offizielle URL: https://doi.org/10.1007/s10703-017-0300-0
Typ des Eintrags: Artikel
Erschienen: 2017
Autor(en): Büscher, Niklas ; Franz, Martin ; Holzer, Andreas ; Veith, Helmut ; Katzenbeisser, Stefan
Titel: On compiling Boolean circuits optimized for secure multi-party computation
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Formal Methods in System Design
Band: 51
(Heft-)Nummer: 2
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Security Engineering
Hinterlegungsdatum: 01 Nov 2018 10:06
DOI: 10.1007/s10703-017-0300-0
Offizielle URL: https://doi.org/10.1007/s10703-017-0300-0
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen