Publications

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

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