TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 10.

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

Buescher, Niklas ; Holzer, Andreas ; Weber, Alina ; Katzenbeisser, Stefan :
Compiling Low Depth Circuits for Practical Secure Computation.
21st European Symposium on Research in Computer Security (ESORICS 2016) Springer
[Konferenz- oder Workshop-Beitrag] , (2016)

Lochau, Malte ; Bürdek, Johannes ; Bauregger, Stefan ; Holzer, Andreas ; von Rhein, Alexander ; Apel, Sven ; Beyer, Dirk :
On facilitating reuse in multi-goal test-suite generation for software product lines.
[Online-Edition: http://subs.emis.de/LNI/Proceedings/Proceedings252/article31...]
In: Software Engineering, SE 2016.
[Konferenz- oder Workshop-Beitrag] , (2016)

Bürdek, Johannes ; Lochau, Malte ; Bauregger, Stefan ; Holzer, Andreas ; von Rhein, Alexander ; Apel, Sven ; Beyer, Dirk :
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
[Online-Edition: http://dx.doi.org/10.1007/978-3-662-46675-9_6]
In: 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.
[Konferenz- oder Workshop-Beitrag] , (2015)

Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut :
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.
Compiler Construction (CC)2014, Lecture Notes in Computer Science
[Konferenz- oder Workshop-Beitrag] , (2014)

Holzer, Andreas ; Franz, Martin ; Katzenbeisser, Stefan ; Veith, Helmut :
Secure Two-Party Computations in ANSI C.
Conference on Computer and Communications Security (CCS 2012) ACM Press
[Konferenz- oder Workshop-Beitrag] , (2012)

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut :
A Precise Specification Framework for White Box Program Testing.
[Online-Edition: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...]
Darmstadt
[Report] , (2009)

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut :
A Precise Specification Framework for White Box Program Testing.
[Online-Edition: urn:nbn:de:tuda-tuprints-19196]
Darmstadt
[Report] , (2009)

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut :
Dependency Coverage Criteria with FQL.

[Report] , (2009)

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut :
Query-Driven Program Testing.

[Report] , (2008)

Diese Liste wurde am Sat Dec 8 03:46:42 2018 CET generiert.