TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 12.

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]

Kinder, Johannes ; Veith, Helmut
Bloem, Roderick ; Sharygina, Natasha (eds.) (2010):
Precise Static Analysis of Untrusted Driver Binaries.
In: Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2010), pp. 43-50,
IEEE Computer Society, [Conference or Workshop Item]

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Report]

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Report]

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009):
Dependency Coverage Criteria with FQL.
[Report]

Kinder, Johannes ; Veith, Helmut ; Zuleger, Florian (2009):
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.
In: Lecture Notes in Computer Science, 5403, In: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009), pp. 214-228,
Springer, DOI: 10.1007/978-3-540-93900-9_19,
[Conference or Workshop Item]

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

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

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2008):
Query-Driven Program Testing.
[Report]

Kinder, Johannes ; Veith, Helmut (2008):
Jakstab: A Static Analysis Platform for Binaries.
5123, In: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), pp. 423--427,
Springer, [Conference or Workshop Item]

This list was generated on Tue Oct 19 07:27:05 2021 CEST.