Browse by Person
Up a level |
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
Article, Bibliographie
Buescher, Niklas ; Holzer, Andreas ; Weber, Alina ; Katzenbeisser, Stefan (2016)
Compiling Low Depth Circuits for Practical Secure Computation.
Heraklion, Crete, Greece
Conference or Workshop Item, Bibliographie
Lochau, Malte ; Bürdek, Johannes ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2016)
On facilitating reuse in multi-goal test-suite generation for software product lines.
Software Engineering, SE 2016.
Conference or Workshop Item, Bibliographie
Bürdek, Johannes ; Lochau, Malte ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2015)
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
Conference or Workshop Item, Bibliographie
Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut (2014)
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.
Conference or Workshop Item, Bibliographie
Holzer, Andreas ; Franz, Martin ; Katzenbeisser, Stefan ; Veith, Helmut (2012)
Secure Two-Party Computations in ANSI C.
doi: 10.1145/2382196.2382278
Conference or Workshop Item, Bibliographie
Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009)
A Precise Specification Framework for White Box Program Testing.
Report, Bibliographie
Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009)
A Precise Specification Framework for White Box Program Testing.
Report, Primary publication
Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009)
Dependency Coverage Criteria with FQL.
Report, Bibliographie
Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2008)
Query-Driven Program Testing.
Report, Bibliographie