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

Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith

Browse the full CC paper archive.