TU Darmstadt / ULB / TUbiblio

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

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)

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2014
Autor(en): Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut
Titel: CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations
Sprache: Deutsch
Buchtitel: Compiler Construction (CC)2014, Lecture Notes in Computer Science
Band: 8409
Fachbereich(e)/-gebiet(e): LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Profilbereiche > Cybersicherheit (CYSEC)
LOEWE > LOEWE-Zentren
Profilbereiche
LOEWE
Hinterlegungsdatum: 05 Okt 2016 19:42
ID-Nummer: TUD-CS-2014-0957
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen