TU Darmstadt / ULB / TUbiblio

Blättern nach Person

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

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

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
[ Konferenzveröffentlichung] , (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
[ Konferenzveröffentlichung] , (2012)

Kinder, Johannes ; Veith, Helmut
Bloem, Roderick ; Sharygina, Natasha (eds.) :

Precise Static Analysis of Untrusted Driver Binaries.
Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2010) IEEE Computer Society
[ Konferenzveröffentlichung] , (2010)

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)

Kinder, Johannes ; Veith, Helmut ; Zuleger, Florian :
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.
In: Lecture Notes in Computer Science , 5403 . Springer
[ Konferenzveröffentlichung] , (2009)

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut :
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
DISC '09: Proceedings of the 2009 23rd Symposium on Distributed Computing Springer Berlin / Heidelberg
[ Konferenzveröffentlichung] , (2009)

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut :
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
Proc. of International Conference on Formal Engineering Methods (ICFEM)
[ Konferenzveröffentlichung] , (2009)

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

[Report] , (2008)

Kinder, Johannes ; Veith, Helmut :
Jakstab: A Static Analysis Platform for Binaries.
In: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008) , 5123 Springer
[ Konferenzveröffentlichung] , (2008)

Diese Liste wurde am Sat Feb 16 03:37:04 2019 CET generiert.