2017

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)
doi: 10.1007/s10703-017-0300-0
Artikel, Bibliographie

2014

Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut (2014)
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.
Konferenzveröffentlichung, Bibliographie

2012

Holzer, Andreas ; Franz, Martin ; Katzenbeisser, Stefan ; Veith, Helmut (2012)
Secure Two-Party Computations in ANSI C.
doi: 10.1145/2382196.2382278
Konferenzveröffentlichung, Bibliographie

2011

Franz, Martin (2011)
Secure Computations on Non-Integer Values.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2010

Brzuska, Christina ; Busch, Heike ; Dagdelen, Özgür ; Fischlin, Marc ; Franz, Martin ; Katzenbeisser, Stefan ; Manulis, Mark ; Onete, Cristina ; Peter, Andreas ; Poettering, Bertram ; Schröder, Dominique (2010)
Redactable Signatures for Tree-Structured Data: Definitions and Constructions.
Konferenzveröffentlichung, Bibliographie

2009

Erkin, Zekeriya ; Franz, Martin ; Guajardo, Jorge ; Katzenbeisser, Stefan ; Lagendijk, Inald ; Toft, Tomas (2009)
Privacy-Preserving Face Recognition.
Konferenzveröffentlichung, Bibliographie