TU Darmstadt / ULB / TUbiblio

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations

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

Item Type: Conference or Workshop Item
Erschienen: 2014
Creators: Franz, Martin and Holzer, Andreas and Katzenbeisser, Stefan and Schallhart, Christian and Veith, Helmut
Title: CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations
Language: German
Title of Book: Compiler Construction (CC)2014, Lecture Notes in Computer Science
Volume: 8409
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Profile Areas > Cybersecurity (CYSEC)
LOEWE > LOEWE-Zentren
Profile Areas
LOEWE
Date Deposited: 05 Oct 2016 19:42
Identification Number: TUD-CS-2014-0957
Export:

Optionen (nur für Redakteure)

View Item View Item