CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations Martin Franz1 , Andreas Holzer2 , Stefan Katzenbeisser3 , Christian Schallhart4 , and Helmut Veith3 1 - Christian Party - Document - PDFSEARCH.IO

First Page	Meta Content
	CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations Martin Franz1 , Andreas Holzer2 , Stefan Katzenbeisser3 , Christian Schallhart4 , and Helmut Veith3 1 Add to Reading List Open Document File Size: 154,71 KB Share Result on Facebook

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations Martin Franz1 , Andreas Holzer2 , Stefan Katzenbeisser3 , Christian Schallhart4 , and Helmut Veith3 1Add to Reading List