Artikel

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

Konferenzveröffentlichung

Buescher, Niklas ; Holzer, Andreas ; Weber, Alina ; Katzenbeisser, Stefan (2016)
Compiling Low Depth Circuits for Practical Secure Computation.
Heraklion, Crete, Greece
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

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

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

Report

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, Erstveröffentlichung

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