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]

Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut (2014):
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.
8409, In: Compiler Construction (CC)2014, Lecture Notes in Computer Science, pp. 244-249,
[Conference or Workshop Item]

Holzer, Andreas ; Franz, Martin ; Katzenbeisser, Stefan ; Veith, Helmut (2012):
Secure Two-Party Computations in ANSI C.
In: Conference on Computer and Communications Security (CCS 2012), pp. 772-783,
ACM Press, DOI: 10.1145/2382196.2382278,
[Conference or Workshop Item]

Franz, Martin (2011):
Secure Computations on Non-Integer Values.
TU Darmstadt,
[Ph.D. Thesis]

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.
In: Lecture Notes in Computer Science, 6055, In: Applied Cryptography and Network Security (ACNS) 2010, pp. 333-350,
Springer, [Conference or Workshop Item]

Erkin, Zekeriya ; Franz, Martin ; Guajardo, Jorge ; Katzenbeisser, Stefan ; Lagendijk, Inald ; Toft, Tomas (2009):
Privacy-Preserving Face Recognition.
In: Privacy Enhancing Technologies Symposium (PETS 2009),
[Conference or Workshop Item]