Publikationen

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

AutorFranz, Martin; Holzer, Andreas; Katzenbeisser, Stefan; Schallhart, Christian; Veith, Helmut
Datum2014
ArtConference Proceedings
InCompiler Construction (CC)2014, Lecture Notes in Computer Science, p.244-249
SchlüsselTUD-CS-2014-0957
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/101868