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

Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith. CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. In Albert Cohen, editor, Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Volume 8409 of Lecture Notes in Computer Science, pages 244-249, Springer, 2014. [doi]

Authors

Martin Franz

This author has not been identified. Look up 'Martin Franz' in Google

Andreas Holzer

This author has not been identified. Look up 'Andreas Holzer' in Google

Stefan Katzenbeisser

This author has not been identified. Look up 'Stefan Katzenbeisser' in Google

Christian Schallhart

This author has not been identified. Look up 'Christian Schallhart' in Google

Helmut Veith

This author has not been identified. Look up 'Helmut Veith' in Google